Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Detecting Quantified Global Predicates in Parallel Programs
Herausgeber Sammlung:
Haridi, Seif; Ali, Khayri; Magnusson, Peter
Titel Konferenzpublikation:
EURO-PAR '95, Parallel Processing (1st International EURO-PAR Conference, Stockholm, Sweden)
Reihentitel:
Lecture Notes in Computer Science
Jahrgang:
966
Konferenztitel:
International EURO-PAR Conference (1., 1995, Stockholm)
Tagungsort:
Stockholm
Jahr der Konferenz:
1995
Verlag:
Springer-Verlag
Jahr:
1995
Seiten von - bis:
403-414
Sprache:
Englisch
DOI:
Fakultät:
Fakultät für Informatik
Institut:
INF 2 - Institut für Softwaretechnologie
Professur:
Minas, Mark
BibTeX