Branching-Time Property Preservation Between Real-Time Systems
From MaRDI portal
Publication:3522914
DOI10.1007/11901914_21zbMath1161.68571OpenAlexW1595849386MaRDI QIDQ3522914
Marc Geilen, J. P. M. Voeten, Henk Corporaal, Jinfeng Huang
Publication date: 4 September 2008
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11901914_21
Related Items