| |
Software Process and Product Measurement (2008), pp. 141-154.
posted to bpm by hwang
on 2008-12-05 17:34:22
as 
|
| |
Logic for Programming, Artificial Intelligence, and Reasoning (2008), pp. 182-182.
|
| |
Advances in Software Engineering (2008), pp. 59-115.
|
| |
In ICSE '08: Proceedings of the 30th international conference on Software engineering (2008), pp. 623-632.
|
| |
Models in Software Engineering (2008), pp. 118-131.
|
| |
Model Checking Software (2008), pp. 134-143.
|
| |
In TACAS '99: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (1999), pp. 193-207.
|
| |
Computer Aided Verification (2005), pp. 98-111.
|
| |
Model Checking Software (2001), pp. 80-102.
|
| |
Computer-Aided Verification (1991), pp. 233-242.
|
| |
Formal Methods in System Design, Vol. 29, No. 2. (2006), pp. 197-214.
|
| |
Formal Methods in System Design, Vol. 29, No. 2. (2006), pp. 177-196.
|
| |
Formal Methods in System Design, Vol. 29, No. 2. (2006), pp. 157-175.
|
| |
Formal Methods in System Design, Vol. 29, No. 2. (2006), pp. 117-134.
|
| |
Formal Methods in System Design, Vol. 29, No. 2. (2006), pp. 135-155.
|
| |
Computer Aided Verification (2008), pp. 190-203.
|
| |
Computer Aided Verification In CAV '08: Proceedings of the 20th international conference on Computer Aided Verification (2008), pp. 176-189.
|
| |
Computer Aided Verification (2008), pp. 149-161.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2007), Vol. 198, No. 1. (23 February 2008), pp. 33-46.
|
| |
Service-Oriented Computing – ICSOC 2007 (2007), pp. 43-55.
|
| |
Objects, Components, Models and Patterns (2008), pp. 22-40.
|
| |
Web Information Systems and Technologies (2008), pp. 19-32.
|
| |
Formal Methods in System Design, Vol. 26, No. 3. (1 May 2005), pp. 319-350.
|
| |
Computer Aided Verification (2008), pp. 66-79.
|
| |
A Practical Programming Model for the Multi-Core Era (2008), pp. 125-128.
|
| |
Journal of Computer and System Sciences, Vol. 59, No. 3. (December 1999), pp. 537-556.
|
| |
Automata, Languages and Programming (1982), pp. 348-359.
|
| |
Logics of Programs (1982), pp. 52-71.
|
| |
Automata, Languages and Programming (1980), pp. 169-181.
|
| |
Mathematical Foundations of Computer Science 1995 (1995), pp. 552-562.
|
| |
ACM Trans. Comput. Logic, Vol. 8, No. 1. (January 2007)
|
| |
Automata, Languages and Programming (1984), pp. 465-472.
|
| |
Frontiers of Combining Systems (2002), pp. 265-276.
|
| |
Advances in Artificial Intelligence (2000), pp. 254-266.
|
| |
Theorem Proving with Analytic Tableaux and Related Methods (1996), pp. 160-176.
|
| |
FM 2008: Formal Methods (2008), pp. 148-164.
|
| |
Formal Techniques for Networked and Distributed Systems – FORTE 2008 (2008), pp. 134-148.
|
| |
Formal Techniques for Networked and Distributed Systems – FORTE 2008 (2008), pp. 149-168.
|
| |
Journal of Grid Computing, Vol. 3, No. 3. (1 September 2005), pp. 171-200.
|
| |
Intelligent Agents and Multi-Agent Systems (2005), pp. 206-216.
|
| |
In PPoPP '08: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming (2008), pp. 283-284.
|
| |
Fundamental Approaches to Software Engineering (2008), pp. 46-61.
|
Search
