Author:
Goubault Éric,Raussen Marti
Publisher
Springer Berlin Heidelberg
Reference50 articles.
1. M.A. Armstrong, Basic Topology, Springer-Verlag, 1990.
2. M.A. Bednarczyk. Categories of asynchronous systems. PhD thesis, University of Sussex, 1988.
3. Bernard Boigelot and Patrice Godefroid. Symbolic verification of communication protocols with in finite state spaces using QDDs.Formal Methods in System Design: An International Journal, 14(3):237–255, May 1999.
4. T. Borceux, Handbookof Categorial Algebra I:Basic category theory, Encyclopedia of Mathematics and its Applications, Cambridge University Press, 1994.
5. Glen E. Bredon, Topology and Geomery, GTM, vol. 139, Springer-Verlag, 1993.
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Drawing the Line: Basin Boundaries in Safe Petri Nets;Computational Methods in Systems Biology;2020
2. Developmental Disorders;Gene Expression and Its Discontents;2016
3. Models of Development;Gene Expression and Its Discontents;2016
4. Introduction;Gene Expression and Its Discontents;2009-10-30
5. Recursive Decomposition of Progress Graphs;2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement;2009-07