Formal Techniques for Networked and Distributed Systems - FORTE 2005

DOI10.1007/11562436zbMATH Open1169.68337OpenAlexW2915402656MaRDI QIDQ5479189

Arnim Wedig, Ralf Paaschen, Elisei Rotaru, Anca Lazarescu, Horst F. Wedde

Publication date: 7 July 2006

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

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Distributed systems (68M14)

Related Items (1)

Incremental labeling in closed-2PM model

This page was built for publication: Formal Techniques for Networked and Distributed Systems - FORTE 2005

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