scientific article; zbMATH DE number 1759602

zbMATH Open0999.68559MaRDI QIDQ4536593FDOQ4536593

Authors: Rajeev Alur 

Publication date: 28 November 2002

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1903363
• scientific article; zbMATH DE number 910719
• Model Checking – My 27-Year Quest to Overcome the State Explosion Problem
• scientific article; zbMATH DE number 2080188
• Exploiting design structure in model checking. (Abstract)

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (6)

• Nested-unit Petri nets
• Title not available (Why is that?)
• Scaling up model-checking. A case-study
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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