Jurgen Giesl and Hans Zantema. Simulating liveness by reduction strategies. Electr. Notes Theor. Comput. Sci., 86(4), 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Proving Liveness with Fairness using Rewriting - Koprowski, Zantema (2005) Self-citation (Zantema) (Correct)
No context found.
J. Giesl and H. Zantema. Simulating liveness by reduction strategies. Electr. Notes TCS, 86(4), 2003.
Application of Rewriting Techniques to Verification Problems - Koprowski (Correct)
No context found.
Jurgen Giesl and Hans Zantema. Simulating liveness by reduction strategies. Electr. Notes Theor. Comput. Sci., 86(4), 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC