B. Moszkowski

发表

H. Zedan, A. Cau, B. Moszkowski, 1999 .
Joseph Y. Halpern, Ben C. Moszkowski, B. Moszkowski, 1988 .
H. Janicke, A. Cau, B. Moszkowski, 2013, Formal Methods in System Design.
Helge Janicke, Antonio Cau, Ben C. Moszkowski, 2013, Formal Methods Syst. Des..
Ben C. Moszkowski, B. Moszkowski, 2012, Log. Methods Comput. Sci..
Ben C. Moszkowski, B. Moszkowski, 2011, 2011 Eighteenth International Symposium on Temporal Representation and Reasoning.
Ben C. Moszkowski, B. Moszkowski, 2000, ICALP.
Hussein Zedan, Antonio Cau, Ben C. Moszkowski, 2005 .
Ben C. Moszkowski, B. Moszkowski, 2006, We Will Show Them!.
Dimitar P. Guelev, Ben C. Moszkowski, B. Moszkowski, 2015, Formal Aspects of Computing.
Ben C. Moszkowski, B. Moszkowski, 2013, Inf. Process. Lett..
Ben C. Moszkowski, B. Moszkowski, 1995, Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems. ICECCS'95.
Ben C. Moszkowski, B. Moszkowski, 1986, Seminar on Concurrency.
Ben C. Moszkowski, B. Moszkowski, 1985, Computer.
Ben C. Moszkowski, B. Moszkowski, 2004, J. Appl. Non Class. Logics.
Ben C. Moszkowski, B. Moszkowski, 2000, Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
Ben C. Moszkowski, B. Moszkowski, 1997, COMPOS.
Zohar Manna, Joseph Y. Halpern, Ben C. Moszkowski, 1983, ICALP.
M. Manjunathaiah, Hussein Zedan, Antonio Cau, 2002, Des. Autom. Embed. Syst..
Ben C. Moszkowski, Roger Hale, R. Hale, 1987, PARLE.
Dimitar P. Guelev, M. Leucker, B. Moszkowski, 2014, Annals of Mathematics and Artificial Intelligence.
Antonio Cau, Ben C. Moszkowski, Amin Mohammed Ahmed El-kustaban, 2012 .
Ben C. Moszkowski, B. Moszkowski, 1982 .
Hussein Zedan, Antonio Cau, Ben C. Moszkowski, 1996, Proceedings of 4th Euromicro Workshop on Parallel and Distributed Processing.
Ben C. Moszkowski, B. Moszkowski, 2003, Verification: Theory and Practice.