P. A. Abdulla, A. Bouajjani, and J. d'Orso. Deciding monotonic games. In Proc. 17th Int. Workshop Computer Science Logic (CSL 2003) and 8th Kurt Gdel Coll. (KGL 2003), Vienna, Austria, Aug. 2003, volume 2803 of Lecture Notes in Computer Science, pages 1--14. Springer, 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
On Computing Fixpoints in Well-Structured Regular Model.. - Baier Bertrand And (Correct)
No context found.
P. A. Abdulla, A. Bouajjani, and J. d'Orso. Deciding monotonic games. In Proc. 17th Int. Workshop Computer Science Logic (CSL 2003) and 8th Kurt Gdel Coll. (KGL 2003), Vienna, Austria, Aug. 2003, volume 2803 of Lecture Notes in Computer Science, pages 1--14. Springer, 2003.
Symbolic Verification of Communicating Systems With.. - Baier Bertrand And (Correct)
No context found.
P. A. Abdulla, A. Bouajjani, and J. d'Orso. Deciding monotonic games. In Proc. 17th Int. Workshop Computer Science Logic (CSL 2003) and 8th Kurt Gdel Coll. (KGL 2003), Vienna, Austria, Aug. 2003, volume 2803 of Lecture Notes in Computer Science, pages 1--14. Springer, 2003.
Petri Games are Monotone but Difficult to Decide - Raskin, al. (2003) (Correct)
No context found.
P. A. Abdulla, A. Bouajjani, and J. d'Orso. Deciding monotonic games. In in Proc. Intern. Workshop Computer Science Logic (CSL'03), volume 2803, Vienna (Austria), 2003. Springer Verlag.
Petri Games are Monotonic but Difficult to Decide - Raskin, Samuelides, Van Begin (2003) (1 citation) (Correct)
No context found.
P. A. Abdulla, A. Bouajjani, and J. d'Orso. Deciding monotonic games. In in Proc. Intern. Workshop Computer Science Logic (CSL'03), volume 2803, Vienna (Austria), 2003. Springer Verlag.
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