✦ LIBER ✦

[Lecture Notes in Computer Science] Graph Transformations Volume 7562 || Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking

✍ Scribed by Ehrig, Hartmut; Engels, Gregor; Kreowski, Hans-Jörg; Rozenberg, Grzegorz

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Appl

✍ Schürr, Andy; Nagl, Manfred; Zündorf, Albert 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 626 KB

[Lecture Notes in Computer Science] Comb

✍ Deza, Michel; Euler, Reinhardt; Manoussakis, Ioannis 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 386 KB