Book review: Reactive Systems: Modelling, Specification and Verification

J.C.M. Baeten, A. Sokolova

Onderzoeksoutput: Bijdrage aan tijdschriftBoek besprekingProfessioneel

Originele taal-2Engels
Pagina's (van-tot)52-
TijdschriftJournal of Logic and Algebraic Programming
Volume78
DOI's
StatusGepubliceerd - 2008

Citeer dit