| |
Information and Software Technology In Third International Conference on Quality Software: QSIC 2003, Vol. 46, No. 15. (1 December 2004), pp. 1011-1025.
|
| |
FM 2008: Formal Methods (2008), pp. 326-341.
|
| |
In ESA (1996), pp. 349-363.
|
| |
In Conference on Automated Deduction (1996), pp. 583-597.
|
| |
In TACAS (2005), pp. 317-333.
|
| |
In CAV 2005, Vol. 3576 (2005), pp. 335-349.
|
| |
|
| |
In SAT (2005), pp. 241-256.
posted to ario by pmatos
on 2006-03-23 00:31:19
as 
|
| |
In CADE (2005), pp. 315-321.
|
| |
In Handbook of Automated Reasoning, Vol. I (2001), pp. 751-842.
|
| |
|
| |
J. Comb. Theory, Ser. A, Vol. 21, No. 1. (1976), pp. 118-123.
|
| |
|
| |
|
| |
Studies in Mathematics and Mathematical Logic, Vol. Part II (1968), pp. 115-125.
|
| |
|
| |
Commun. ACM, Vol. 35, No. 8. (1992), pp. 102-114.
|
| |
IEEE Transactions on Parallel and Distributed Systems, Vol. 6, No. 2. (1995), pp. 204-211.
|
| |
|
| |
In Proceedings of the 16th International Conference on Computer Aided Verification, CAV'04 (Boston, Massachusetts), Vol. 3114 (2004), pp. 175-188.
|
| |
|
| |
No. CSL-SRI-04-01. (January 2004)
|
| |
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the 2nd International Workshop on Bounded Model Checking (BMC 2004), Vol. 119, No. 2. (14 March 2005), pp. 17-32.
|
| |
|
| |
In IJCAI (1999), pp. 310-317.
|
| |
In Proceedings of the sixth International Conference on Computer-Aided Verification CAV, Vol. 818 (1994), pp. 68-80.
|
| |
|
| |
In ICTAC (2004), pp. 372-386.
|
| |
In Frontiers of Combining Systems: Proceedings of the 1st International Workshop (Munich, Germany) (1996), pp. 103-120.
|
| |
Journal of the ACM, Vol. 27, No. 2. (1 April 1980), pp. 356-364.
|
| |
|
| |
Electr. Notes Theor. Comput. Sci., Vol. 86, No. 1. (2003)
|
| |
|
| |
|
| |
No. 04-01. (February 2004)
|
| |
Theoretical Computer Science, Vol. 290, No. 1. (January 2003), pp. 291-353.
|
| |
No. MSR-TR-2005-61. (2005)
|
| |
In Proceedings of the 13th International Conference on Automated Deduction, (New Brunswick, NJ), Vol. 1104 (1996), pp. 463-477.
|
| |
In Computer Aided Verification, 17th International Conference (CAV '05), Vol. 3576 (2005), pp. 321-334.
|
| |
In CAV (2004), pp. 475-478.
|
| |
|
| |
|
| |
|
| |
ACM Trans. Program. Lang. Syst., Vol. 1, No. 2. (October 1979), pp. 245-257.
|
| |
|
| |
J. Comb. Theory, Ser. A, Vol. 14, No. 3. (1973), pp. 288-297.
|
| |
|
| |
J. ACM, Vol. 7, No. 3. (July 1960), pp. 201-215.
|
| |
In ICCAD '02: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design (2002), pp. 450-457.
|
Search
