Partial Computation of Reactive Concurrent Processes using Temporal Logic

Research output: Contribution to journalArticle

Original languageEnglish
Journal9th Conference Proceedings JSSST
Publication statusPublished - 1992

Cite this