Property Verification of Asynchronous Systems

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	25-40
Journal	Innovations in Systems & Software Engineering
Volume	1
Issue number	1
DOIs	https://doi.org/10.1007/s11334-005-0002-4
Publication status	Published - 2005

Access to Document

@article{842ecf83ca6e4f60aa0716b630e33d31,

title = "Property Verification of Asynchronous Systems",

author = "George Milne and A. Cerone",

year = "2005",

doi = "10.1007/s11334-005-0002-4",

language = "English",

volume = "1",

pages = "25--40",

journal = "Innovations in Systems & Software Engineering",

issn = "1614-5054",

publisher = "Springer",

number = "1",

}