Formal Specification of Discrete Systems by Active Predicates and Dynamic Constraints
doi 10.1007/978-0-387-35562-7_13
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 1999
Authors
Publisher
Springer US
Available in full text
January 1, 1999
Springer US