Performance analysis and true concurrency semantics

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

Original language	Undefined
Title of host publication	Theories and experiences for real time system development
Publisher	World Scientific
Pages	309-337
Publication status	Published - 1994

Keywords

@inbook{658c4d3b305344e7b1549b23e3e19b1a,

title = "Performance analysis and true concurrency semantics",

keywords = "METIS-119011",

author = "Hendrik Brinksma and Katoen, {Joost P.} and Romanus Langerak and D. Latella",

year = "1994",

language = "Undefined",

pages = "309--337",

booktitle = "Theories and experiences for real time system development",

publisher = "World Scientific",

address = "United States",

}