![](/img/cover-not-exists.png)
Procedure-modular specification and verification of temporal safety properties
Soleimanifard, Siavash, Gurov, Dilian, Huisman, MariekeVolume:
14
Language:
english
Journal:
Software & Systems Modeling
DOI:
10.1007/s10270-013-0321-0
Date:
February, 2015
File:
PDF, 1.13 MB
english, 2015