𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Algebraic Biology Volume 5147 || Process Algebra Models of Population Dynamics

✍ Scribed by Horimoto, Katsuhisa; Regensburger, Georg; Rosenkranz, Markus; Yoshida, Hiroshi


Book ID
118148211
Publisher
Springer Berlin Heidelberg
Year
2008
Weight
507 KB
Category
Article
ISBN
3540851011

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


[Lecture Notes in Computer Science] Comp
✍ Etessami, Kousha; Rajamani, Sriram K. πŸ“‚ Article πŸ“… 2005 πŸ› Springer Berlin Heidelberg 🌐 German βš– 230 KB

This Volume Contains The Proceedings Of The International Conference On Computer Aided Veri?cation (cav), Held In Edinburgh, Scotland, July 6–10, 2005. Cav 2005 Was The Seventeenth In A Series Of Conferences Dedicated To The Advancement Of The Theory And Practice Of Computer-assisted Formal An- Ysis