Concepedia

Publication | Closed Access

Reactive Modules

DOI

538

Citations

9

References

1999

Year

Rajeev Alur, Thomas A. Henzinger
Formal Methods in System Design

References

YearCitations

Page 1