Verification of systems and circuits using LOTOS, Petri Nets, and CCS / by Yoeli, Michael, Publication: Hoboken, N.J. : Wiley-Interscience, 2008 . xv, 231 p. : 25 cm. Date:2008 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Petri net technology for communication-based systems : , advances in Petri nets /   Publication: Berlin : Springer, 2003 . viii, 454 p. : 24 cm. Date:2003 Availability: Copies available: AUM Main Library (3),
Actions: Add to Cart
Formal and natural computing , essays dedicated to Grzegorz Rozenberg /   Publication: Berlin : Springer, 2002 . xxxvi, 429 p. : 24 cm. Date:2002 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal and natural computing : , essays dedicated to Grzegorz Rozenberg /   Publication: Berlin ; | New York : Springer, 2002 . xxxvi, 429 p. : 25 cm. Date:2002 Availability: No items available:
Actions: Add to Cart