Heterogeneous Timed Machines
From MaRDI portal
Publication:2938156
DOI10.1007/978-3-319-10882-7_8zbMath1432.68224MaRDI QIDQ2938156
Axel Legay, Benoît Delahaye, José Luiz Fiadeiro, Antónia Lopes
Publication date: 13 January 2015
Published in: Theoretical Aspects of Computing – ICTAC 2014 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-10882-7_8
68Q45: Formal languages and automata
Uses Software