MPG.eBooks - Search Results - (( key regulatory perspectives ) or ( a regular properties ))*

Search alternatives:
regulatory perspectives » regulatory perspective , regulatory peptides
regular properties » regularity properties , molecular properties
key regulatory » key regulator , key regulators , 3 regulatory

Cover Image

1

Applied Formal Methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings

Published 1999

Springer Berlin Heidelberg

Table of Contents: “... Properties: An Integrated Approach -- A Symbolic Model Checker for ACTL -- Critical Systems Validation...”