CASE Support for Modular Verification of Synchronous Reactive Systems
-
1
Universidad de Oviedo
info
Proceedings:
2nd International ERCIM WORKSHOP on Formal Methods for Industrial Critical Systems
Year of publication: 1997
Pages: 125-137
Congress: International ERCIM WORKSHOP on Formal Methods for Industrial Critical Systems (2. 1997. Cesena, Italia)
Type: Conference paper