Automated formal analysis methods for concurrent and real-time software

,2008, 引用: 2

computer aided verification,1992, 引用: 10

,2007, 引用: 0

principles and practice of constraint programming,1997, 引用: 1

computer aided verification,1995, 引用: 65

IEEE Transactions on Software Engineering,2013, 引用: 3

international symposium on software testing and analysis,1993, 引用: 13

IEEE Transactions on Software Engineering,1994, 引用: 15

international workshop on software specification and design,1993, 引用: 6

symposium on principles of programming languages,2003, 引用: 139