Jámbor Attila OData support

Theses

Parallel Model Checking of Asynchronous Systems

Dr. Vörös András (MIT)
BSc degree, computer science and engineering programme, 2010-2011 Autumn

Saturation based analysis of timed models

Dr. Vörös András (MIT)
MSc degree, computer science and engineering programme, 2012-2013 Autumn