Title: Systems and Software Verification: Model-Checking Techniques and Tools / Edition 1, Author: B. Berard
Title: Service Availability: First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers / Edition 1, Author: Miroslaw Malek

Pagination Links