Cover Image
Read Now

1
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Interface for Promela -- Events in Property Patterns -- Assume-Guarantee Model Checking of Software: A...”