Timed modal specifications: a theory for verification of real-time concurrent systems/ by Jens Chr. Godskesen.

By:

Godskesen, Jens C

Language: English Summary language: Danish Series: Report (Aalborg universitetscenter. Afdeling for matematik og datalogi) ; R 94-2039.Publication details: Aalborg, Denmark: University of Aalborg, Institute for Electronic Systems, Dept. of Mathematics and Computer Science, [1994].Description: xiv, 198 p.: ill.; 21 cmSubject(s):

Dissertation note: Thesis (Ph. D.)--Aalborg University, 1994.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Date due	Barcode
Thesis	Castorina Estantes Abertas (Open Shelves)	Teses (Thesis)		1	Available		39063000273030

Cover title.

Abstracts in English and Danish.

"October 1994."

Thesis (Ph. D.)--Aalborg University, 1994.

Includes bibliographical references and index.

Supported in part by Aarhus University, Aalborg University, the Danish National Research Council project DART, the ESPRIT Basic Research Action 7166, CONCUR2 and Tele Danmark Research

There are no comments on this title.

to post a comment.