DMCA

Reactive Modules (1996)

by Rajeev Alur , Thomas A. Henzinger
Venue:FORMAL METHODS IN SYSTEM DESIGN
Citations:323 - 38 self