Experimenting Formal Proofs of Petri Nets Refinements
From MaRDI portal
Publication:5403468
DOI10.1016/j.entcs.2008.06.011zbMath1283.68236OpenAlexW2018476511MaRDI QIDQ5403468
Christine Choppy, Micaela Mayero, Laure Petrucci
Publication date: 26 March 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2008.06.011
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Uses Software
Cites Work