zbMATH — the first resource for mathematics

Compositional specification of timed systems. (English) Zbl 1379.68240
Puech, Claude (ed.) et al., STACS 96. 13th annual symposium on theoretical aspects of computer science. Grenoble, France, February 22–24, 1996. Proceedings. Berlin: Springer-Verlag (ISBN 3-540-60922-9). Lecture Notes in Computer Science 1046, 347-359 (1996).
For the entire collection see [Zbl 0885.68010].

68Q60 Specification and verification (program logics, model checking, etc.)
PDF BibTeX Cite
Full Text: DOI