Skip to main navigation Skip to search Skip to main content

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)

    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

    Handle.net

    Cite this