D. Rosca, S. Greenspan, M. Feblowitz, and C. Wild. Requirements Engineering, 1997., Proceedings of the Third IEEE International Symposium on, (January 1997)
O. Kutz, and T. Mossakowski. Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence and the Twenty-Third Innovative Applications of Artificial Intelligence Conference, page 227-234. AAAI Press; Menlo Park, CA, (2011)
X. Jia, S. Ying, H. Cao, and D. Xie. Sixth International Conference on Grid and Cooperative Computing, 2007. GCC 2007, page 96--103. IEEE, (August 2007)
T. Mossakowski, and A. Tarlecki. 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), volume 8412 of Lecture Notes in Computer Science, page 441-456. Springer-Verlag Berlin Heidelberg, (2014)
S. Gatti, E. Balland, and C. Consel. Fundamental Approaches to Software Engineering, volume 6603 of Lecture Notes in Computer Science, page 217--231. Springer, (2011)
M. Bidoit, and R. Hennicker. Proceedings of the 12th International Conference on Algebraic Methodology and Software Technology (AMAST), volume 5140/2008 of Lecture Notes in Computer Science, page 216-231. Springer Verlag, (2008)
E. Dashofy, A. van der Hoek, and R. Taylor. Proceedings of the 24rd International Conference on Software Engineering, 2002. ICSE 2002, page 266--276. IEEE, (May 2002)
T. Mossakowski, A. Haxthausen, D. Sannella, and A. Tarlecki. Logics of formal specification languages, volume 22 of Monographs in Theoretical Computer Science, chapter 3, Springer-Verlag Heidelberg, (2008)
S. Autexier, D. Hutter, and T. Mossakowski. Verification, Induction, Termination Analysis, Festschrift in honor of Christoph Walther, volume 6463 of LNCS, Springer, (2010)
L. Schröder, and T. Mossakowski. Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, volume 4409 of Lecture Notes in Computer Science, page 128-142. Springer, (2007)
R. Thomas, L. DaSilva, and A. MacKenzie. New Frontiers in Dynamic Spectrum Access Networks, 2005. DySPAN 2005.
2005 First IEEE International Symposium on, page 352-360. (2005)
J. Howse. Proceedings of the 16th International Conference on Conceptual Structures (ICCS 2008), volume 5113 of Lecture Notes in Computer Science, page 1-20. Springer, (2008)
Y. Oh, D. Lee, S. Kang, and J. Lee. 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2007. MEMOCODE 2007, page 87--88. IEEE, (June 2007)
A. van Lamsweerde. ICSE '00: Proceedings of the Conference on The Future of Software Engineering, page 147--159. New York, NY, USA, ACM, (2000)MR: Wertvoll wegen dem Überblick über formale Spezifikations- und somit Modell-Paradigmen..
L. Fabresse, C. Dony, and M. Huchard. Computer Languages, Systems & Structures, 34 (2-3):
130 - 149(2008)Best Papers 2006 International Smalltalk Conference.