Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Winter, Michael
2011.
Relational and Algebraic Methods in Computer Science.
Vol. 6663,
Issue. ,
p.
70.
Aameri, Bahar
and
Winter, Michael
2011.
Relational and Algebraic Methods in Computer Science.
Vol. 6663,
Issue. ,
p.
74.
Macedo, Nuno
Pacheco, Hugo
and
Cunha, Alcino
2012.
Relational and Algebraic Methods in Computer Science.
Vol. 7560,
Issue. ,
p.
146.
Oliveira, José N.
2012.
Implementation and Application of Automata.
Vol. 7381,
Issue. ,
p.
52.
Atampore, Francis
and
Winter, Michael
2012.
Relational and Algebraic Methods in Computer Science.
Vol. 7560,
Issue. ,
p.
248.
Ghardallou, Wided
Mraihi, Olfa
Louhichi, Asma
Jilani, Lamia Labed
Bsaies, Khaled
and
Mili, Ali
2012.
A versatile concept for the analysis of loops.
The Journal of Logic and Algebraic Programming,
Vol. 81,
Issue. 5,
p.
606.
Oliveira, Jose N.
and
Ferreira, Miguel A.
2013.
Alloy Meets the Algebra of Programming: A Case Study.
IEEE Transactions on Software Engineering,
Vol. 39,
Issue. 3,
p.
305.
Oliveira, José N.
2014.
Relational and Algebraic Methods in Computer Science.
Vol. 8428,
Issue. ,
p.
119.
Anderson, Carolyn Jane
Foster, Nate
Guha, Arjun
Jeannin, Jean-Baptiste
Kozen, Dexter
Schlesinger, Cole
and
Walker, David
2014.
NetKAT.
ACM SIGPLAN Notices,
Vol. 49,
Issue. 1,
p.
113.
Berghammer, Rudolf
2014.
Computer Algebra in Scientific Computing.
Vol. 8660,
Issue. ,
p.
13.
Anderson, Carolyn Jane
Foster, Nate
Guha, Arjun
Jeannin, Jean-Baptiste
Kozen, Dexter
Schlesinger, Cole
and
Walker, David
2014.
NetKAT.
p.
113.
Berghammer, Rudolf
Danilenko, Nikita
and
Schnoor, Henning
2014.
Relational and Algebraic Methods in Computer Science.
Vol. 8428,
Issue. ,
p.
309.
Berghammer, Rudolf
Höfner, Peter
and
Stucke, Insa
2014.
Relational and Algebraic Methods in Computer Science.
Vol. 8428,
Issue. ,
p.
173.
Berghammer, Rudolf
Höfner, Peter
and
Stucke, Insa
2015.
Relational and Algebraic Methods in Computer Science.
Vol. 9348,
Issue. ,
p.
275.
Berghammer, Rudolf
Stucke, Insa
and
Winter, Michael
2015.
Relational and Algebraic Methods in Computer Science.
Vol. 9348,
Issue. ,
p.
257.
Berghammer, Rudolf
and
Guttmann, Walter
2015.
Relational and Algebraic Methods in Computer Science.
Vol. 9348,
Issue. ,
p.
67.
Desharnais, Jules
Diallo, Nafi
Ghardallou, Wided
Frias, Marcelo F.
Jaoua, Ali
and
Mili, Ali
2015.
Relational and Algebraic Methods in Computer Science.
Vol. 9348,
Issue. ,
p.
191.
Joshi, Vaibhav B.
Gupta, Dhruv
and
Raval, Mehul S.
2016.
Digital-Forensics and Watermarking.
Vol. 9569,
Issue. ,
p.
323.
Alain, Mathieu
and
Desharnais, Jules
2017.
Relational and Algebraic Methods in Computer Science.
Vol. 10226,
Issue. ,
p.
43.
Berghammer, Rudolf
2017.
Relational and Algebraic Methods in Computer Science.
Vol. 10226,
Issue. ,
p.
60.