[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 5140 || Calculating Invariants as Coreflexive Bisimulations

[Lecture Notes in Computer Science] Alge

[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 2422 || Automata and Games for Synthesis

✍ Kirchner, Hélène; Ringeissen, Christophe 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 170 KB

This Volume Contains The Proceedings Of Amast 2002, The 9th International Conference On Algebraic Methodology And Software Technology, Held During September 9–13, 2002, In Saint-gilles-les-bains, R´eunion Island, France. The Major Goal Of The Amast Conferences Is To Promote Research That May Lead To