✦ LIBER ✦

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 3771 || Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the π-Calculus

✍ Scribed by Romijn, Judi; Smith, Graeme; van de Pol, Jaco

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Inte

✍ Boiten, Eerke A.; Derrick, John; Smith, Graeme 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 422 KB

[Lecture Notes in Computer Science] Form

✍ Pettersson, Paul; Yi, Wang 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 437 KB

[Lecture Notes in Computer Science] Form

✍ Pettersson, Paul; Yi, Wang 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 437 KB

[Lecture Notes in Computer Science] Form

✍ Gheyi, Rohit; Naumann, David 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 523 KB