scientific article; zbMATH DE number 1897216
From MaRDI portal
Publication:4802384
zbMATH Open1013.68118MaRDI QIDQ4802384
Eric Y. T. Juan, Jeffrey J.-P. Tsai
Publication date: 13 April 2003
Title of this publication is not available (Why is that?)
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (5)
Title not available (Why is that?) ⋮ Specification and compositional verification of real-time systems ⋮ Compositional Nonblocking Verification Using Generalized Nonblocking Abstractions ⋮ A Proof System for Compositional Verification of Probabilistic Concurrent Processes ⋮ On the complexity of verifying concurrent transition systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4802384)
