Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format

From MaRDI portal
Publication:3605462

DOI10.1007/978-3-642-00255-7_7zbMath1211.68273OpenAlexW1489220439MaRDI QIDQ3605462

Frédéric Lang, Hubert Garavel, Jan Stöcker

Publication date: 24 February 2009

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

Full work available at URL: https://hal.inria.fr/inria-00391024/file/RR-6950.pdf




Related Items (1)


Uses Software



Cites Work




This page was built for publication: Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format