by Fu, Jie, Topcu, Ufuk
Published in 2015 54th IEEE Conference on Decision and Control (CDC) (01.12.2015)

by Su, Guoxin, Rosenblum, David S.
Published in Formal Methods and Software Engineering (2013)

by Kovalev, Mikhail, Müller, Silvia M., Paul, Wolfgang J.
Published in A Pipelined Multi-core MIPS Machine (2014)

by JIANG DAMING, LU RONG
Year of Publication 29.06.2021

Year of Publication 30.09.2009

by Della Penna, Giuseppe, Magazzeni, Daniele, Mercorio, Fabio, Intrigila, Benedetto
Published in Proceedings of the International Conference on Automated Planning and Scheduling (16.10.2009)

by Nguyen, Truong Khanh, Sun, Jun, Liu, Yang, Dong, Jin Song, Liu, Yan
Published in FM 2012: Formal Methods (2012)

by Konur, Savas
Year of Publication 18.05.2010

by Janota, Mikoláš, Marques-Silva, Joao, Grigore, Radu
Year of Publication 30.06.2010

by Kot, M.
Published in 2008 International Multiconference on Computer Science and Information Technology : 20-22 October 2008 (01.10.2008)

by Nakajima, S.
Published in 2002 Symposium on Applications and the Internet (SAINT) workshops : proceedings : January 28-February 1, 2002, Nara City, Nara, Japan (2002)

by Guo, Meng, Tumova, Jana, Dimarogonas, Dimos V
Published in arXiv.org (08.05.2014)

by Su, Guoxin, Rosenblum, David S
Published in arXiv.org (28.08.2013)

by Baukus, K., Stahl, K., Bensalem, S., Lakhnech, Y.
Published in Electronic notes in theoretical computer science (01.08.2001)

by Syverson, Paul
Published in Electronic notes in theoretical computer science (1999)

by Janowska, Agata, Penczek, Wojciech, Półrola, Agata, Zbrzezny, Andrzej
Published in Transactions on Petri Nets and Other Models of Concurrency VIII (2013)

by Hartmanns, Arnd, Hermanns, Holger
Published in Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (2012)

by Navarrete, Isabel, Rubio, José A., Botía, Juan A., Palma, José T., Campuzano, Francisco J.
Published in Ambient Assisted Living and Home Care (2012)

by Konur, Savas
Published in arXiv.org (25.04.2011)

by Janota, Mikoláš, Marques-Silva, Joao, Grigore, Radu
Published in arXiv.org (30.06.2010)