Search from the table of contents of 2.5 million books
Advanced Search (Beta)

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 |
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

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

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

Similar News

Loading...
Similar Articles
Loading...
Similar Article Headings
Loading...