| |
In Handbook of Data Structures and Applications (2004)
|
| |
In Automata, Logics, and Infinite Games, Vol. 2500 (2002)
|
| |
In Handbook of Automated Reasoning (2001)
|
| |
In Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics (1990)
|
| |
In Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, Vol. 2772 (2004)
|
| |
In Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, 7--8 July 2004, London, England, UK, Vol. 3525 (2005)
|
| |
In Formal Methods at the Crossroads: From Panacea to Foundational Support. Revised papers from the 10th Anniversary Colloquium of the International Institute for Software Technology of the United Nations University, 18--20 March 2002, Lisbon, Portugal, Vol. 2757 (2002)
|
| |
In Proceedings of the 35th Winter Simulation Conference: Driving Innovation (WSC), 7--10 December, New Orleans, LA, USA (2003)
|
| |
In Proceedings of the 3rd ACM Workshop on Software and Performance (WOSP), 24--26 July, Rome, Italy (2002)
|
| |
In Proceedings of the 9th Workshop on Logic, Language, Information and Computation (WoLLIC), 30 July -- 2 August 2002, Rio de Janeiro, Brazil, Vol. 67 (2002)
|
| |
In Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP), 20--22 June 2002, Grado, Italy, Vol. 76 (2002)
|
| |
In Proceedings of the 7th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI), 8--10 January, Charleston, SC, USA, Vol. 3855 (2005)
|
| |
In Proceedings of the 6th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI), 17--19 January, Paris, France, Vol. 3385 (2005)
|
| |
In Proceedings of the 5th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI), 11--13 January, Venice, Italy, Vol. 2937 (2004)
|
| |
In Proceedings of the 4th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI), 9--11 January, New York, NY, USA, Vol. 2575 (2003)
|
| |
In Proceedinsg of the NATO Advanced Research Workshop on Verification of Infinite-State Systems with Applications to Security (VISSAS), 17--22 March 2005, Timisoara, Romania (2005)
|
| |
In Proceedings of the 2nd International Workshop on Verification and Computational Logic (VCL), 4 September 2001, Florence, Italy (2001)
|
| |
In Proceedings of the 6th International Conference on Typed Lambda Calculi and Applications (TLCA), 10--12 June, Valencia, Spain, Vol. 2701 (2003)
|
| |
In Proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 25 March -- 2 April 2006, Vienna, Austria (2006)
|
| |
In Proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 4--8 April, Edinburgh, Scotland, UK, Vol. 3440 (2005)
|
| |
In Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 29 March -- 2 April, Barcelona, Spain, Vol. 2988 (2004)
|
| |
In Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 7--11 April, Warsaw, Poland, Vol. 2619 (2003)
|
| |
In Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2--6 April, Genova, Italy, Vol. 2031 (2001)
|
| |
In Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 25 March -- 2 April 2000, Berlin, Germany, Vol. 1785 (2000)
|
| |
In Proceedings of the 3rd International Workshop on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2--4 April, Enschede, The Netherlands, Vol. 1217 (1997)
|
| |
In Proceedings of the 33rd Annual ACM Symposium on Theory of Computing (STOC), 6--8 July 2001, Hersonissos, Greece (2001)
|
| |
In Proceedings of the 27th Annual ACM Symposium on Theory of Computing (STOC), 29 May -- 1 June 1995, Las Vegas, NV, USA (1995)
|
| |
In Proceedings of the 11th International SPIN Workshop, 1--3 April, Barcelona, Spain, Vol. 2989 (2004)
|
| |
In Proceedings of the 10th International SPIN Workshop, 9--10 May, Portland, OR, USA, Vol. 2648 (2003)
|
| |
In Proceedings of the 9th International SPIN Workshop, 11--13 April, Grenoble, France, Vol. 2318 (2002)
|
| |
In Proceedings of the 8th International SPIN Workshop, 19--20 May, Toronto, Ontaria, Canada, Vol. 2057 (2001)
|
| |
In Proceedings of the 7th International SPIN Workshop, 30 August -- 1 September, Stanford, CA, USA, Vol. 1885 (2000)
|
| |
In Proceedings of the 5th and 6th International SPIN Workshops, 5 July 1999, Trento, Italy and 21--24 September 1999, Tolouse, France, Vol. 1680 (1999)
|
| |
In Proceedings of the 4th International SPIN Workshop, 2 November, Paris, France (1998)
|
| |
In Proceedings of the 4th IEEE Symposium on Parallel and Distributed Processing, 1--4 December, Arlington, TX, USA (1992)
|
| |
In Proceedings of the 17th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA), 18--20 July, Las Vegas, NV, USA (2005)
|
| |
In Proceedings of the 16th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA), 27--30 June, Barcelona, Spain (2004)
|
| |
In Proceedings of the 15th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA), 7--9 June, San Diego, CA, USA (2003)
|
| |
In Proceedings of the 14th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA), 11--13 August, Winnipeg, Manitoba, Canada (2002)
|
| |
In Proceedings of the 13th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA), 4--6 July, Heraklion, Greece (2001)
|
| |
In Proceedings of the 12th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA), 9--13 July, Bar Harbor, ME, USA (2000)
|
| |
In Proceedings of the 11th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA), 27--30 June, Saint Malo, France (1999)
|
| |
In Proceedings of the 10th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA), 28 June -- 2 July, Puerto Vallarta, Mexico (1998)
|
| |
In Proceedings of the 11th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA), 27--29 June, Cape May, NJ, USA (1994)
|
| |
In Proceedings of the 10th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA), 30 June -- 2 July, Velen, Germany (1993)
|
| |
In Proceedings of the 5th International Symposium on Programming, 6--8 April 1982, Torino, Italy, Vol. 137 (1982)
|
| |
In Proceedings of the 2nd International Symposium on Programming, 13--15 April 1976, Paris, France (1976)
|
| |
In Proceedings of the 31st Conference on Current Trends in Theory and Practice of Computer Science, Vol. 3381 (January 2005)
|
| |
In Proceedings of the 3rd Workshop on Software Model Checking (SoftMC), 11 July, Edinburgh, Scotland, UK, Vol. 144.3 (2006)
|
| |
In Proceedings of the 2nd Workshop on Software Model Checking (SoftMC), 14 July, Boulder, CO, USA, Vol. 89.3 (2003)
|
Search
