A proof lattice-based technique for analyzing liveness of resource controllers

Autor:	Robert N. Moll, Ugo Buy
Rok vydání:	2005
Předmět:	Theoretical computer science Computer science Distributed computing Lattice (order) Liveness Abstract state machines Temporal logic
Zdroj:	Lecture Notes in Computer Science ISBN: 3540544771 CAV
DOI:	10.1007/bfb0023743
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::c2a093e8251f9fa3caa157e5ef585c98 https://doi.org/10.1007/bfb0023743 Zobrazit plný text záznamu