Media type: Book; Thesis Title: Combining linear time temporal logic descriptions of concurrent computations Contributor: Kuiper, Ruurd [Author] imprint: 1989 Extent: 146 S. Language: English Keywords: Temporale Logik > Parallelverarbeitung Origination: University thesis: Eindhoven, Techn. Univ., Diss., 1989 Footnote:
Departmental Library DrePunct – stack Shelf-mark: 0890 80830 001 Item ID: 30806539 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order