| Translated title of the contribution | Efficient approach to symbolic state exploration of complex parallel controllers |
|---|---|
| Original language | English |
| Title of host publication | Proc. of IEEE Int. Conference on Application of Concurrency to System Design |
| Pages | 132 - 142 |
| Publication status | Published - 1998 |
Efficient approach to symbolic state exploration of complex parallel controllers
K Bilinski, EL Dagless
Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)