Checking system properties via integer programming

Stephan Melzer(Technical University of Munich), Javier Esparza(Technical University of Munich)
Lecture notes in computer science
January 1, 1996
10.1007/3-540-61055-3_41
Cited by 27

Related Papers

No related papers found

Powered by citation graph analysis