Lecture Notes in Computer Science > FME '97: Industrial Applications and Strengthened Foundations of Formal Methods > 318-337
Source
Abstract
Identifiers
series ISSN : | 0302-9743 |
series e-ISSN : | 1611-3349 |
book ISBN : | 978-3-540-63533-8 |
book e-ISBN : | 978-3-540-69593-6 |
DOI | 10.1007/3-540-63533-5_17 |