DMCA

Tamagotchis Need Not Die - Verification of STATEMATE Designs (1998)

by Udo Brockmeyer , Gunnar Wittich
Venue:Tools and Algorithms for the Construction and Analysis of Systems, volume 1384 of Lecture Notes in Computer Science
Citations:12 - 2 self