Title: NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings / Edition 1, Author: Mihaela Bobaru
Title: State Space and Unobserved Component Models: Theory and Applications, Author: Andrew Harvey
Title: Foundations of Software Science and Computational Structures: 10th International Conference, FOSSACS 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 / Edition 1, Author: Helmut Seidl
Title: Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, Author: Erika Abraham
Title: Systems Analysis and Simulation I: Theory and Foundations / Edition 1, Author: Achim Sydow
Title: Over-Constrained Systems / Edition 1, Author: Michael Jampel
Title: Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings / Edition 1, Author: Igor Walukiewicz
Title: Systems Analysis and Simulation II: Applications Proceedings of the International Symposium held in Berlin, September 12-16, 1988 / Edition 1, Author: Achim Sydow
Title: Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / Edition 1, Author: Maurice Nivat
Title: Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceeding / Edition 1, Author: Wolfgang Thomas