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.
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.
Aceto, Luca
Ingolfsdottir, Anna
Larsen, Kim G.
and
Srba, Jiří
2009.
Teaching Formal Methods.
Vol. 5846,
Issue. ,
p.
158.
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,
Bruni, Roberto
2009.
Formal Methods for Web Services.
Vol. 5569,
Issue. ,
p.
1.
Saadawi, Hesham
and
Wainer, Gabriel
2010.
Rational time-advance DEVS (RTA-DEVS).
p.
1.
Fahrenberg, Uli
Larsen, Kim G.
and
Thrane, Claus R.
2010.
Fundamentals of Software Engineering.
Vol. 5961,
Issue. ,
p.
34.
Pan, Haiyu
Zhang, Min
Chen, Yixiang
and
Wu, Hengyang
2011.
Approximate Bisimulation for Metric Doubly Labeled Transition System.
p.
108.
Szpyrka, Marcin
Matyasik, Piotr
and
Mrówka, Rafał
2011.
Intelligent Decision Systems in Large-Scale Distributed Environments.
Vol. 362,
Issue. ,
p.
315.
Aceto, Luca
Ingolfsdottir, Anna
and
Srba, Jirí
2011.
Advanced Topics in Bisimulation and Coinduction.
p.
100.
Szpyrka, Marcin
and
Kotulski, Leszek
2011.
Knowledge-Based and Intelligent Information and Engineering Systems.
Vol. 6881,
Issue. ,
p.
190.
Kotulski, Leszek
Szpyrka, Marcin
and
Sedziwy, Adam
2011.
Knowledge-Based and Intelligent Information and Engineering Systems.
Vol. 6881,
Issue. ,
p.
180.
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.
Guha, Shibashis
Narayan, Chinmay
and
Arun-Kumar, S.
2012.
Computer Aided Verification.
Vol. 7358,
Issue. ,
p.
444.
Singer, Robert
and
Teller, Matthias
2012.
S-BPM ONE - Education and Industrial Developments.
Vol. 284,
Issue. ,
p.
135.
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.