Combining linear time temporal logic descriptions of concurrent computations
By: Ruurd Kuiper
Contributors: Technische Universiteit Eindhoven
Published: 1989
Language: eng
Number of pages: 146
Other titles: Combining temporal logic descriptions of computations.
Notes: Rugtitel: Combining temporal logic descripions of computations.

Thesis (doctoral)--Technische Universiteit Eindhoven, 1989.

Met lit. opg. - Met samenvatting in het Nederlands.