I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking

Autor:	Abusdal, Ole Jørgen, Din, Crystal Chang, Pun, Violet Ka I, Stolz, Volker
Databáze:	NORA (Norwegian Open Research Archive)
Externí odkaz:	https://hdl.handle.net/11250/3054645 Zobrazit plný text záznamu