Models used in static analysis for deadlocks of Ada tasking programs

Julkaisun otsikon käännös: Models used in static analysis for deadlocks of Ada tasking programs

Tutkimustuotos: Luku › Tieteellinen › vertaisarvioitu

Julkaisun otsikon käännös	Models used in static analysis for deadlocks of Ada tasking programs
Alkuperäiskieli	Englanti
Otsikko	Deadlock Resolution in Computer-Integrated Systems
Toimittajat	M. Zhou, M. Fanti
Sivut	585-634
Tila	Julkaistu - 2005
OKM-julkaisutyyppi	A3 Kirjan tai muun kokoomateoksen osa

Julkaisufoorumi-taso

@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",

}