Compositional Verification of Non-Blockingness with Prioritised Events
Tang Y, Moor T (2022)
Publication Type: Conference contribution
Publication year: 2022
Journal
Publisher: ELSEVIER
City/Town: AMSTERDAM
Pages Range: 236-243
Conference Proceedings Title: IFAC PAPERSONLINE
Event location: Prague
DOI: 10.1016/j.ifacol.2022.10.348
Authors with CRIS profile
Related research project(s)
How to cite
APA:
Tang, Y., & Moor, T. (2022). Compositional Verification of Non-Blockingness with Prioritised Events. In IFAC PAPERSONLINE (pp. 236-243). Prague, CZ: AMSTERDAM: ELSEVIER.
MLA:
Tang, Yiheng, and Thomas Moor. "Compositional Verification of Non-Blockingness with Prioritised Events." Proceedings of the 16th IFAC Workshop on Discrete Event Systems (WODES), Prague AMSTERDAM: ELSEVIER, 2022. 236-243.
BibTeX: Download