Verification of systems and circuits using LOTOS, Petri Nets, and CCS [electronic resource] / by Michael Yoeli and Rakefet Kol.
2008
TK7874.58 .Y64 2008eb
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Details
Title
Verification of systems and circuits using LOTOS, Petri Nets, and CCS [electronic resource] / by Michael Yoeli and Rakefet Kol.
Author
ISBN
9780471704492 (cloth)
0471704490 (cloth)
0471704490 (cloth)
Publication Details
Hoboken, N.J. : Wiley-Interscience, c2008.
Language
English
Description
xv, 231 p. : ill. ; 25 cm.
Call Number
TK7874.58 .Y64 2008eb
Dewey Decimal Classification
621.3815/48
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Added Author
Series
Wiley series on parallel and distributed computing.
Linked Resources
Record Appears in