Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Detecting Quantified Global Predicates in Parallel Programs
Collection editors:
Haridi, Seif; Ali, Khayri; Magnusson, Peter
Title of conference publication:
EURO-PAR '95, Parallel Processing (1st International EURO-PAR Conference, Stockholm, Sweden)
Series title:
Lecture Notes in Computer Science
Volume:
966
Conference title:
International EURO-PAR Conference (1., 1995, Stockholm)
Venue:
Stockholm
Year of conference:
1995
Publisher:
Springer-Verlag
Year:
1995
Pages from - to:
403-414
Language:
Englisch
DOI:
Department:
Fakultät für Informatik
Institute:
INF 2 - Institut für Softwaretechnologie
Chair:
Minas, Mark
BibTeX