![](/img/cover-not-exists.png)
[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction
Danos, Vincent, Feret, Jérôme, Fontana, Walter, Harmer, Russell, Krivine, JeanYear:
2010
Language:
english
DOI:
10.1109/lics.2010.44
File:
PDF, 891 KB
english, 2010