Formal Methods in Software and Systems Modeling

DOI10.1007/B106390zbMath1075.68622OpenAlexW2492988005MaRDI QIDQ5710422

Eckehard Schnieder, Jörg R. Müller

Publication date: 2 December 2005

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

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

Mathematics Subject Classification ID

Transportation, logistics and supply chain management (90B06) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) General systems (93A10)

This page was built for publication: Formal Methods in Software and Systems Modeling