✦ LIBER ✦

[Lecture Notes in Computer Science] Transactions on Computational Systems Biology XII Volume 5945 || A Language for Biochemical Systems: Design and Formal Specification

✍ Scribed by Priami, Corrado; Breitling, Rainer; Gilbert, David; Heiner, Monika; Uhrmacher, Adelinde M.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Tran

✍ Priami, Corrado; Cardelli, Luca; Emmott, Stephen 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 378 KB

[Lecture Notes in Computer Science] Prog

✍ Smolka, Gert 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg ⚖ 173 KB

[Lecture Notes in Computer Science] Lect

✍ Rozenberg, Grzegorz; Vaandrager, Frits W. 📂 Article 📅 1998 🏛 Springer Berlin Heidelberg ⚖ 933 KB

[Lecture Notes in Computer Science] Prog

✍ Sands, David 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 177 KB

[Lecture Notes in Computer Science] FM 2

✍ Cuellar, Jorge; Maibaum, Tom; Sere, Kaisa 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 583 KB

[Lecture Notes in Computer Science] Form

✍ Chatterjee, Krishnendu; Henzinger, Thomas A. 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 453 KB