J

Javier Esparza

Technical University of Munich

0 papers and 0 citations.

0Publications

0Total Citations

Top publicationsby citations

Checking system properties via integer programming

Stephan Melzer, Javier Esparza|Lecture notes in computer science|1996

Cited by 27