Efficient Functional Verification Algorithm for Petri-net-based Parallel Controller Designs

K Bilinski, JM Saul, EL Dagless

Research output: Contribution to journalArticle (Academic Journal)

2 Citations (Scopus)
Translated title of the contributionEfficient Functional Verification Algorithm for Petri-net-based Parallel Controller Designs
Original languageEnglish
Pages (from-to)255 - 262
JournalIEE Proceedings - Computers and Digital Techniques
Volume142/4
Publication statusPublished - 1995

Cite this