B. Boigelot, A. Legay, and P. Wolper. Iterating transducers in the large (extended abstract). In Proc. 15th Int. Conf. Computer Aided Verification (CAV 2003), Boulder, CO, USA, July 2003, volume 2725 of Lecture Notes in Computer Science, pages 223--235. Springer, 2003. Home/Search Document Not in Database 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.
B. Boigelot, A. Legay, and P. Wolper. Iterating transducers in the large (extended abstract). In Proc. 15th Int. Conf. Computer Aided Verification (CAV 2003), Boulder, CO, USA, July 2003, volume 2725 of Lecture Notes in Computer Science, pages 223--235. Springer, 2003.
Learning to Verify Safety Properties - Vardhan, Sen, Viswanathan, Agha (2004) (1 citation) (Correct)
No context found.
B. Boigelot, A. Legay, and P. Wolper. Iterating transducers in the large (extended abstract). In CAV: International Conference on Computer Aided Verification, 2003.
Widening Arithmetic Automata - Bartzis, Bultan (2004) (2 citations) (Correct)
No context found.
Bernard Boigelot, Axel Legay, and Pierre Wolper. Iterating transducers in the large. In Proceedings of the 15th International Conference on Computer Aided Verification , volume 2725 of LNCS, pages 223--235. Springer, 2003.
Regular Model Checking Using Inference of Regular Languages - Habermehl, Vojnar (2004) (3 citations) (Correct)
No context found.
Boigelot, B., A. Legay and P. Wolper, Iterating transducers in the Large, in: Proc. CAV'03, LNCS 2725 (2003).
Image Computation in Infinite State Model Checking - Finkel, al. (2004) (Correct)
No context found.
Bernard Boigelot, Alexandre Legay, and Pierre Wolper. Iterating transducers in the large. In Proc. 15th Int. Conf. Computer Aided Verification (CAV'2003), Boulder, CO, USA, July 2003, volume 2725 of Lecture Notes in Computer Science, pages 223--235. Springer, 2003.
On Flatness for 2-dimensional Vector Addition Systems with States - Leroux, Sutre (2004) (Correct)
No context found.
B. Boigelot, A. Legay, and P. Wolper. Iterating transducers in the large. In Proc. 15th Int. Conf. Computer Aided Veri cation (CAV'2003), Boulder, CO, USA, July 2003, volume 2725 of Lecture Notes in Computer Science, pages 223235. Springer, 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