DMCA
Symbolic Petri Net Analysis Using Boolean Manipulation (1997)
Cached
Download Links
- [ftp.ac.upc.es]
- [ftp.ac.upc.es]
- [ftp.ac.upc.es]
- CiteULike
- DBLP
Other Repositories/Bibliography
by
Enric Pastor
,
Oriol Roig
,
Jordi Cortadella
| Citations: | 90 - 15 self |
BibTeX
@MISC{Pastor97symbolicpetri,
author = {Enric Pastor and Oriol Roig and Jordi Cortadella},
title = {Symbolic Petri Net Analysis Using Boolean Manipulation},
year = {1997}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
