Efficient approach to symbolic state exploration of complex parallel controllers

K Bilinski, EL Dagless

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

Translated title of the contributionEfficient approach to symbolic state exploration of complex parallel controllers
Original languageEnglish
Title of host publicationProc. of IEEE Int. Conference on Application of Concurrency to System Design
Pages132 - 142
Publication statusPublished - 1998

Cite this