scientific article; zbMATH DE number 1252744

MaRDI QIDQ4229530zbMATH OpenFDO

Authors

Publication date 22 February 1999

zbMATH Keywords

deadlock freenesspartitioning methodPROTEANreachability analysis

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Recommendations

• To store or not to store.
• Partitioned PLTL model-checking for refined transition systems
• Formal Methods in Computer-Aided Design
• scientific article; zbMATH DE number 1852163

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 Q4229530)