Computer Aided Verification

DOI10.1007/B98490zbMATH Open1103.68637OpenAlexW4298302743MaRDI QIDQ5312949FDOQ5312949

Authors: Claus Schröter, Victor Khomenko 

Publication date: 25 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b98490

Recommendations

• scientific article; zbMATH DE number 1744959
• scientific article; zbMATH DE number 1822435
• Model checking using net unfoldings
• scientific article; zbMATH DE number 2080061
• Applications and Theory of Petri Nets 2004

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (6)

• Title not available (Why is that?)
• Applications and Theory of Petri Nets 2004
• Punf
• Decompositional Petri Net Reductions
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Computer Aided Verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5312949)