"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models.

Hillel Kugler, Amir Pnueli, Michael J. Stern, E. Jane Albert Hubbard

Browse the full TACAS paper archive.