Models used in static analysis for deadlocks of Ada tasking programs

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review

Translated title of the contribution	Models used in static analysis for deadlocks of Ada tasking programs
Original language	English
Title of host publication	Deadlock Resolution in Computer-Integrated Systems
Editors	M. Zhou, M. Fanti
Pages	585-634
Publication status	Published - 2005
Publication type	A3 Book chapter

Publication forum classification

@inbook{956fc9125db9476ba5b0e102d507e6c1,

title = "Models used in static analysis for deadlocks of Ada tasking programs",

author = "M. Tiusanen and T. Murata",

note = "ISBN 0-8247-5368-2<br/>Contribution: organisation=ohj,FACT1=1",

year = "2005",

language = "English",

pages = "585--634",

editor = "M. Zhou and M. Fanti",

booktitle = "Deadlock Resolution in Computer-Integrated Systems",

}