Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings > “Don’t Care” Modeling: A Logical Framework for Developing Predictive System Models
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings |
Orna Grumberg; Michael Huth
Springer Berlin Heidelberg
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings
“Don’t Care” Modeling: A Logical Framework for Developing Predictive System Models
Authors

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

ARI Id

1664841959138_3741623

Access

Not Available Free

Pages

343-357

DOI

10.1007/978-3-540-71209-1_27

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-540-71209-1_27

Table of Contents of Book
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings