Burkart, Olaf
Automatic verificaton of sequential infinite-state processes - Berlin Springer 1997 - 163 - Lecture notes in computer science ; 01354 .
3540639829
681 LNCS
Automatic verificaton of sequential infinite-state processes - Berlin Springer 1997 - 163 - Lecture notes in computer science ; 01354 .
3540639829
681 LNCS