A more efficient simulation algorithm on Kripke structures

DOI10.1007/978-3-642-40313-2_66MaRDI QIDQ6828619zbMATH OpenFDO

Authors Francesco Ranzato

Publication date 20 September 2013

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

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: A more efficient simulation algorithm on Kripke structures

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