"Don't care" modeling: A logical framework for developing predictive system models
- Hillel Kugler
- , Amir Pnueli
- , Michael J. Stern
- , E. Jane Albert Hubbard
- New York University
- Weizmann Institute of Science
- Yale University
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
3
Scopus
citations