Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Schröder, Lutz
and
Mossakowski, Till
2004.
Algebraic Methodology and Software Technology.
Vol. 3116,
Issue. ,
p.
443.
Walter, Dennis
Schröder, Lutz
and
Mossakowski, Till
2005.
Algebra and Coalgebra in Computer Science.
Vol. 3629,
Issue. ,
p.
424.
Schröder, Lutz
Mossakowski, Till
and
Lüth, Christoph
2005.
Recent Trends in Algebraic Development Techniques.
Vol. 3423,
Issue. ,
p.
234.
Mossakowski, Till
Schröder, Lutz
Roggenbach, Markus
and
Reichel, Horst
2006.
Algebraic–coalgebraic specification in CoCasl.
The Journal of Logic and Algebraic Programming,
Vol. 67,
Issue. 1-2,
p.
146.
Drape, Stephen
Thomborson, Clark
and
Majumdar, Anirban
2007.
Information Security.
Vol. 4779,
Issue. ,
p.
299.
Mossakowski, Till
Schröder, Lutz
and
Goncharov, Sergey
2008.
Fundamental Approaches to Software Engineering.
Vol. 4961,
Issue. ,
p.
199.
Du Bois, André Rauber
and
Echevarria, Marcos
2009.
Domain-Specific Languages.
Vol. 5658,
Issue. ,
p.
170.
Schröder, Lutz
and
Mossakowski, Till
2009.
HasCasl: Integrated higher-order specification and program development.
Theoretical Computer Science,
Vol. 410,
Issue. 12-13,
p.
1217.
Calin, Georgel
Myers, Rob
Pattinson, Dirk
and
Schröder, Lutz
2009.
CoLoSS: The Coalgebraic Logic Satisfiability Solver.
Electronic Notes in Theoretical Computer Science,
Vol. 231,
Issue. ,
p.
41.
Goncharov, Sergey
Rauch, Christoph
and
Schröder, Lutz
2015.
Unguarded Recursion on Coinductive Resumptions.
Electronic Notes in Theoretical Computer Science,
Vol. 319,
Issue. ,
p.
183.
Hurtado-Gil, Lluís
Martínez, Vicent J.
Arnalte-Mur, Pablo
Pons-Bordería, María-Jesús
Pareja-Flores, Cristóbal
and
Paredes, Silvestre
2017.
The best fit for the observed galaxy counts-in-cell distribution function.
Astronomy & Astrophysics,
Vol. 601,
Issue. ,
p.
A40.
Discussions
No Discussions have been published for this article.