Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets

DOI10.1007/11901914_34zbMath1161.68628OpenAlexW2157004650MaRDI QIDQ3522928

David de Frutos-Escrig, Fernando Rosa-Velardo

Publication date: 4 September 2008

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

This page was built for publication: Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets