Workshop on Partial Order Methods in Verification (1996 : Princeton, NJ) Bezüge im Wissensnetz Veranstaltungsort (1) GND Princeton, NJ