Synchronous Programming of Reactive Systems - A Tutorial and Commented Bibliography (1998)

Cached

Download Links

by Nicolas Halbwachs
Venue:In Tenth International Conference on Computer-Aided Verification, CAV’98, Vancouver (B.C.), LNCS 1427
Citations:22 - 0 self