Search alternatives:
regulatory perspectives » regulatory perspective, regulatory peptides
regularity properties » security properties
key regulatory » key regulator, key regulators, 3 regulatory
a regularity » _ regularity, a regularized, a regular
Cover Image
Read Now

1
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Properties: An Integrated Approach -- A Symbolic Model Checker for ACTL -- Critical Systems Validation...”