Tang Y, Moor T (2022)
Publication Type: Conference contribution
Publication year: 2022
Publisher: ELSEVIER
City/Town: AMSTERDAM
Pages Range: 236-243
Conference Proceedings Title: IFAC PAPERSONLINE
DOI: 10.1016/j.ifacol.2022.10.348
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