Time Unbalanced Partial Order
From MaRDI portal
Publication:3434608
DOI10.1007/11759744_11zbMath1183.68181OpenAlexW1575162139MaRDI QIDQ3434608
Publication date: 2 May 2007
Published in: Formal Approaches to Software Testing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11759744_11
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cites Work
This page was built for publication: Time Unbalanced Partial Order