by Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
Published in Logical methods in computer science (01.01.2021)

by van Breugel, Franck, Kashefi, Elham, Palamidessi, Catuscia, Rutten, Jan
Year of Publication 2014

by van Breugel, Franck, Sharma, Babita, Worrell, James
Published in Logical methods in computer science (09.04.2008)

by Cormie-Bowins, Elise, van Breugel, Franck
Published in Electronic proceedings in theoretical computer science (03.07.2012)

by van Breugel, Franck
Published in Theoretical computer science (2001)

by Hutchison, David, Kanade, Takeo, Kittler, Josef
Year of Publication 2008

Year of Publication 2008

by Tang, Qiyi, van Breugel, Franck
Published in Journal of computer and system sciences (01.08.2020)

by Bacci, Giorgio, Bacci, Giovanni, Larsen, Kim G, Mardare, Radu, Tang, Qiyi, Franck van Breugel
Published in arXiv.org (01.02.2021)

by van Breugel, Franck
Published in Information processing letters (15.10.2012)

by VAN BREUGEL, Franck, WORRELL, James
Published in Theoretical computer science (21.08.2006)

by van Breugel, Franck, Worrell, James
Published in Theoretical computer science (15.02.2005)

by Cormie-Bowins, Elise, van Breugel, Franck
Published in arXiv.org (04.07.2012)

by van Breugel, Franck, Hermida, Claudio, Makkai, Michael, Worrell, James
Published in Theoretical computer science (24.06.2013)

by van Breugel, Franck, Chechik, Marsha
Published in Information and computation (01.10.2010)

by van Breugel, Franck, Hermida, Claudio, Makkai, Michael, Worrell, James
Published in Theoretical computer science (21.06.2007)

by Chen, Di, van Breugel, Franck, Worrell, James
Published in Foundations of Software Science and Computational Structures (2012)

by VAN BREUGEL, Franck, CHECHIK, Marsha
Published in Information and computation (2010)

by Franck van Breugel, Sharma, Babita, Worrell, James
Published in arXiv.org (09.04.2008)

by Fatmi, Syyeda Zainab, Chen, Xiang, Dhamija, Yash, Wildes, Maeve, Tang, Qiyi, van Breugel, Franck
Published in Model Checking Software (2021)