Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Fundamental Approaches to Software Engineering: Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings > Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems
Fundamental Approaches to Software Engineering: Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings |
Tom Maibaum
Springer Berlin Heidelberg
Fundamental Approaches to Software Engineering: Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems
Authors

J. Padberg; K. Hoffmann; M. Gajewsky

ARI Id

1664273373606_1017703

Access

Not Available Free

Pages

249-265

DOI

10.1007/3-540-46428-X_18

Chapter URL

https://rd.springer.com/chapter/10.1007/3-540-46428-X_18

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