Cite
MLA Citation
Yiheng Tang and Thomas Moor. “Compositional Verification of Non-Blockingness with Prioritised Events.” IFAC-PapersOnLine, vol. 55, no. 28, 2022, pp. 236–243. http://access.bl.uk/ark:/81055/vdc_100168598990.0x000002
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Yiheng Tang and Thomas Moor. “Compositional Verification of Non-Blockingness with Prioritised Events.” IFAC-PapersOnLine, vol. 55, no. 28, 2022, pp. 236–243. http://access.bl.uk/ark:/81055/vdc_100168598990.0x000002