1.
Embedded Software Second International Conference, Emsoft 2002, Grenoble, France, October 20...
by Sangiovanni-Vincentelli, Al...
ISBN: 9783540443070
List Price: $77.95
2.
Automatic Verification Methods for Finite State Systems
by Sifakis, J.
ISBN: 9783540521488
List Price: $62.95