Tampere University of Technology

TUTCRIS Research Portal

On the design of reactive systems

Research output: Contribution to journalArticleScientificpeer-review

Details

Original languageEnglish
Pages (from-to)581-604
JournalBit Numerical Mathematics
Volume28
Issue number3
Publication statusPublished - 1988
Publication typeA1 Journal article-refereed

Publication forum classification