Media type: E-Article Title: Mathematical Foundations of Computer Science 1996: Specification and verification of timed lazy systems Contributor: Corradini, Flavio; Pistore, Marco imprint: Springer Berlin Heidelberg, 1996 Published in: Mathematical Foundations of Computer Science 1996 Language: Not determined DOI: 10.1007/3-540-61550-4_155 ISSN: 0302-9743; 1611-3349 Origination: Footnote: