A practical theory of reactive systems. Incremental modeling of dynamic behaviors.
From MaRDI portal
Publication:1770845
zbMath1070.68023MaRDI QIDQ1770845
Publication date: 7 April 2005
Published in: Texts in Theoretical Computer Science. An EATCS Series (Search for Journal in Brave)
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items