| |
Journal of the ACM, Vol. 27, No. 2. (1 April 1980), pp. 356-364.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (1998), 376.
|
| |
Computer Aided Verification (1995), pp. 31-41.
|
| |
Automata Theory and Formal Languages 2nd GI Conference Kaiserslautern, May 20–23, 1975 (1975), pp. 134-183.
|
| |
SIAM Journal on Computing, Vol. 1, No. 2. (1972), pp. 146-160.
|
| |
Computers & Mathematics with Applications, Vol. 7, No. 1. (1981), pp. 67-72.
|
| |
Information Processing Letters, Vol. 74, No. 3-4. (31 May 2000), pp. 107-114.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 30, No. 3. (2008), pp. 1-41.
|
| |
Computer Aided Verification (2002), pp. 641-653.
posted to sat by dejan
on 2009-05-17 18:52:15
as 
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 174, No. 8. (2007), pp. 23-37.
|
| |
Theoretical Computer Science, Vol. 12, No. 3. (November 1980), pp. 291-302.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2007), pp. 602-617.
|
| |
Automated Deduction—CADE-18 (2002), pp. 83-163.
|
| |
Journal of Automated Reasoning, Vol. 34, No. 3. (1 April 2005), pp. 209-238.
|
| |
Logics in Artificial Intelligence (2004), pp. 641-653.
|
| |
In LICS '01: Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science (2001), 29.
|
| |
Frontiers of Combining Systems (2005), pp. 48-64.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 1, No. 2. (October 1979), pp. 245-257.
|
| |
Automated Reasoning (2004), pp. 213-217.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 125, No. 3. (18 July 2005), pp. 37-51.
|
| |
|
| |
J. ACM, Vol. 52, No. 3. (May 2005), pp. 365-473.
|
| |
Computer Aided Verification (2007), pp. 298-302.
|
| |
Metaheuristics (2007), pp. 173-188.
posted to dejan by dejan
on 2009-05-06 00:28:04
as 
|
| |
Frontiers of Combining Systems (2005), pp. 200-215.
|
| |
The Computer Journal, Vol. 7, No. 4. (1 January 1965), 313.
|
Search
