Cover image

Normal view MARC view ISBD view

Semantics and verification of extended phase transition systems in duration calculus

By: Xu, Qiwen.

Material type: materialTypeLabel

materialTypeLabel

BookSeries: UNU/IIST Report.Publisher: Macau 1996; UNU Institute for Software Technology Subject(s): COMPUTER SOFTWARE | TRAINING AND RESEARCH INSTITUTIONS | SOFTWARE ENGINEERING

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

average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes
Comments ( 0 )

Item type	Current location	Collection	Call number	Vol info	Status	Date due
Book	General Stacks	UNU Publications	UNU B17628 (Browse shelf)	No.72	Available

Browsing United Nations University Library Shelves , Shelving location: General Stacks , Collection code: UNU Publications Close shelf browser

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	UNU B17607 A theory of distributing train rescheduling	UNU B17619 Domain analysis for manufacturing : formalization	UNU B17623 Formal development of a digital multiplexed radio-telephone system	UNU B17628 Semantics and verification of extended phase transition systems in duration calculus	UNU B17634 A first course in software engineering	UNU B17642 Some results on the decidability of duration calculus under sycnhronous interpretation	UNU B17644 Towards foundations of the general theory of transport domains	Next

UNU B17628

Original series title: UNU/IIST Report ; No.72.

There are no comments for this item.

Log in to your account to post a comment.

© United Nations University Library, 2022. All rights reserved.

Powered by Koha