Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Eisentraut, Christian
and
Hermanns, Holger
2008.
Transactions on Petri Nets and Other Models of Concurrency I.
Vol. 5100,
Issue. ,
p.
35.
Groote, Jan Friso
Reniers, Michel A.
and
Usenko, Yaroslav S.
2008.
Verification of networks of timed automata using mCRL2.
p.
1.
Li, Guangyuan
2009.
Formal Modeling and Analysis of Timed Systems.
Vol. 5813,
Issue. ,
p.
228.
Sangiorgi, Davide
2009.
On the origins of bisimulation and coinduction.
ACM Transactions on Programming Languages and Systems,
Vol. 31,
Issue. 4,
p.
1.
Loewe, Laurence
2009.
A framework for evolutionary systems biology.
BMC Systems Biology,
Vol. 3,
Issue. 1,
Aceto, Luca
Ingolfsdottir, Anna
Larsen, Kim G.
and
Srba, Jiří
2009.
Teaching Formal Methods.
Vol. 5846,
Issue. ,
p.
158.
Bruni, Roberto
2009.
Formal Methods for Web Services.
Vol. 5569,
Issue. ,
p.
1.
Makedonski, Philip
Grabowski, Jens
and
Neukirchen, Helmut
2009.
Validating the Behavioral Equivalence of TTCN-3 Test Cases.
p.
117.
Aceto, Luca
Ingolfsdottir, Anna
and
Sack, Joshua
2009.
Characteristic Formulae for Fixed-Point Semantics: A General Framework.
Electronic Proceedings in Theoretical Computer Science,
Vol. 8,
Issue. ,
p.
1.
Fahrenberg, Uli
Larsen, Kim G.
and
Thrane, Claus R.
2010.
Fundamentals of Software Engineering.
Vol. 5961,
Issue. ,
p.
34.
Saadawi, Hesham
and
Wainer, Gabriel
2010.
Rational time-advance DEVS (RTA-DEVS).
p.
1.
Kotulski, Leszek
Szpyrka, Marcin
and
Sedziwy, Adam
2011.
Knowledge-Based and Intelligent Information and Engineering Systems.
Vol. 6881,
Issue. ,
p.
180.
Szpyrka, Marcin
and
Kotulski, Leszek
2011.
Knowledge-Based and Intelligent Information and Engineering Systems.
Vol. 6881,
Issue. ,
p.
190.
Szpyrka, Marcin
Matyasik, Piotr
and
Mrówka, Rafał
2011.
Intelligent Decision Systems in Large-Scale Distributed Environments.
Vol. 362,
Issue. ,
p.
315.
Pan, Haiyu
Zhang, Min
Chen, Yixiang
and
Wu, Hengyang
2011.
Approximate Bisimulation for Metric Doubly Labeled Transition System.
p.
108.
Aceto, Luca
Ingolfsdottir, Anna
and
Srba, Jirí
2011.
Advanced Topics in Bisimulation and Coinduction.
p.
100.
Aceto, Luca
Fábregas, Ignacio
Frutos-Escrig, David de
Ingólfsdóttir, Anna
and
Palomino, Miguel
2011.
Graphical representation of covariant-contravariant modal formulae.
Electronic Proceedings in Theoretical Computer Science,
Vol. 64,
Issue. ,
p.
1.
Jovanovski, Jane
Siljanoska, Maja
Carevski, Vladimir
Sahpaski, Dragan
Gjorcevski, Petar
Micev, Metodi
Ilijoski, Bojan
and
Georgiev, Vlado
2012.
ICT Innovations 2011.
Vol. 150,
Issue. ,
p.
335.
Guha, Shibashis
Narayan, Chinmay
and
Arun-Kumar, S.
2012.
Computer Aided Verification.
Vol. 7358,
Issue. ,
p.
444.
Brenguier, Romain
Göller, Stefan
and
Sankur, Ocan
2012.
CONCUR 2012 – Concurrency Theory.
Vol. 7454,
Issue. ,
p.
147.