Amazon cover image
Image from Amazon.com

Verification of systems and circuits using LOTOS,Petri Nets, and CCS

By: Contributor(s):
Material type: TextTextPublication details: New Jersey John Wiley & Sons 2008Edition: Description: xv,231pISBN:
  • 9780471704492
ISSN:
Subject(s): DDC classification:
  • 621.3.049.77
Tags from this library: No tags from this library for this title.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

There are no comments on this title.

to post a comment.

University Library
Cochin University of Science and Technology
Kochi-682 022, Kerala, India