UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

VUB (2)

UAntwerpen (1)

UCLouvain (1)

UGent (1)

ULB (1)

ULiège (1)

Resource type

book (3)

digital (1)

Language

English (3)

Year

From To

1995 (3)

Listing 1 - 3 of 3
Sort by

Temporal verification of reactive systems : safety
Authors: Manna, Zohar --- Pnueli, Amir
ISBN: 0387944591 9780387944593 Year: 1995 Publisher: New York (N.Y.): Springer,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Computer software --- Parallel processing (Electronic computers) --- Logiciels --- Parallélisme (Informatique) --- Verification --- Vérification --- Verification. --- Parallel processing (Electronic computers). --- Parallélisme (Informatique) --- Vérification --- Computer software - Verification --- Computer software - verification

Book

Responding to Imperfection
Authors: Ackerman, Bruce --- Brandon, Mark E --- Dow, David R --- Griffin, Stephen M --- Holmes, Stephen --- et al.
ISBN: 9781400821631 Year: 1995 Publisher: Princeton, NJ

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Responding to Imperfection : The Theory and Practice of Constitutional Amendment
Authors: Ackerman, Bruce --- Brandon, Mark E. --- Dow, David R. --- Griffin, Stephen M. --- Holmes, Stephen --- et al.
ISBN: 9781400821631 9780691025704 Year: 1995 Publisher: Princeton, N.J. Princeton University Press

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Law

Listing 1 - 3 of 3
Sort by