Guest Editorial: Special issue on formal modeling and analysis of timed systems
Crossref DOI link: https://doi.org/10.1007/s11241-017-9274-7
Published Online: 2017-04-10
Published Print: 2017-05
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Paolieri, Marco http://orcid.org/0000-0001-5110-203X
Sankaranarayanan, Sriram http://orcid.org/0000-0001-7315-4340
Vicario, Enrico http://orcid.org/0000-0002-4983-4386
License valid from 2017-04-10