Your search returned 2 results.

1.
Verification of systems and circuits using LOTOS, Petri Nets, and CCS by Yoeli, Michael, Publication: Hoboken, N.J. : Wiley-Interscience, 2008 . xv, 231 p. : Date: 2008 Availability: No items available:

2.
Verification of systems and circuits using LOTOS, Petri Nets, and CCS by Yoeli, Michael, Publication: Hoboken, N.J. : Wiley-Interscience, 2008 . xv, 231 p. : Date: 2008 Availability: No items available:

Powered by Koha