Discovering Symmetries

Formal Methods: Applications and Technology - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70952-7_5 ◽

2007 ◽

pp. 67-83 ◽

Author(s):

Hassen Saïdi

Download Full-text