Releases med Burkart, O. (University of Dortmund, Germany)

Cover for Burkart, O. (University of Dortmund, Germany) · Automatic Verification of Sequential Infinite-state Processes - Lecture Notes in Computer Science (Pocketbok) (1997)
Pocketbok
Automatic Verification of Sequen...
Burkart, O. (University of Dortm...