Partial Evaluation of Reactive Concurrent Processes using Temporal Logic Formulas

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)15-27
Number of pages13
JournalComputer Software
Volume12
Issue number3
Publication statusPublished - 1995

Cite this