A practical theory of reactive systems : incremental modeling of dynamic behaviors
Author(s)
Bibliographic Information
A practical theory of reactive systems : incremental modeling of dynamic behaviors
(Texts in theoretical computer science, An EATCS series)
Springer, c2005
Available at / 4 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index