Model Checking Embedded Control Software (2010)
AUTHORS:
Frits Juho
@mastersthesis{ fritsj, author = "Frits, Juho", owner = "OEK", school = "Aalto University", year = "2010", address = "Espoo, Finland", title = "Model Checking Embedded Control Software" }