Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Model checking Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. by
Publication details: Cambridge, Mass. : MIT Press, ©1999
Online resources:
Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 004.21 C55M.

Add to cart
2.
Understanding petri nets : modeling techniques, analysis methods, case studies Wolfgang Reisig. by
Edition: 1st edition.
Publication details: New York Springer-verlag Berlin Heidelberg 2013
Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 511.35 R277U.

Add to cart
Pages


Contact for Queries: skpathak@iiserb.ac.in