Property Verification within a Process Algebra Framework

Research output: Chapter in Book/Conference paper › Chapter › peer-review

Original language	English
Title of host publication	Real-Time Systems Modeling Design and Applications
Editors	Don Ionescu, Aurel Cornell
Place of Publication	U.S.A.
Publisher	World Scientific Publishing
Pages	153-173
Volume	8
ISBN (Print)	981024424X
Publication status	Published - 2007

Name	AMAST Series in Computing

Cite this

@inbook{c548303e03bd4bc19498e243ba71fe49,

title = "Property Verification within a Process Algebra Framework",

author = "George Milne and A. Cerone",

year = "2007",

language = "English",

isbn = "981024424X",

volume = "8",

series = "AMAST Series in Computing",

publisher = "World Scientific Publishing",

pages = "153--173",

editor = "Don Ionescu and Aurel Cornell",

booktitle = "Real-Time Systems Modeling Design and Applications",

address = "Singapore",

}