Your search returned 10 results.

1.
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:

3.
Property-preserving petri net process algebra in software engineering by Huang, Hejiao. Publication: Singapore : World Scientific Pub. Co., 2012 . xii, 306 p. : Date: 2012 Availability: No items available:

4.
5.
6.
7.
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:

8.
Property-preserving petri net process algebra in software engineering by Huang, Hejiao. Publication: Singapore : World Scientific Pub. Co., 2012 . xii, 306 p. : Date: 2012 Availability: No items available:

9.
10.

Powered by Koha