Berry, Gerard. Ed. Comon, Hubert. Ed. Finkel, Alain. . Ed.
Computer aided verification : 13th international conference; proceedings - Berlin Springer-Verlag 2001 - 520 - Lecture notes in computer science ; 02102 .
3540423451
Automata- verification process
Model checking
681 LNCS
Computer aided verification : 13th international conference; proceedings - Berlin Springer-Verlag 2001 - 520 - Lecture notes in computer science ; 02102 .
3540423451
Automata- verification process
Model checking
681 LNCS