Your search returned 2 results.

Sort
Results
1.
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

by Michael Yoeli-Rakefet Kol.

Series: Wiley Series on Parallel and Distributed ComputingMaterial type: Text Text Language: English Publication details: Wiley-Interscience 2008Online access: Click here to access online Availability: Items available for reference: VJEC Central Library: Not for loan (1).

2.
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

by Michael Yoeli-Rakefet Kol.

Series: Wiley Series on Parallel and Distributed ComputingMaterial type: Text Text Language: English Publication details: Wiley-Interscience 2008Online access: Click here to access online Availability: Items available for reference: VJEC Central Library: Not for loan (1).

Pages
Copyright © 2021 Vimal Jyothi Engineering College. All Rights Reserved.

Powered by Koha