Translating FSP into LOTOS and Networks of Automata

DOI10.1007/978-3-540-73210-5_29zbMath1213.68410OpenAlexW1492719872MaRDI QIDQ3608896

Could not fetch data.

Publication date: 6 March 2009

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73210-5_29

Mathematics Subject Classification ID

Could not fetch data.