No Cover Image

Conference contribution 469 views

SAT-based model checking of train control systems / Markus Roggenbach

Pages: 15 - 17

Swansea University Author: Roggenbach, Markus

Published: University of Udine 2009
URI: https://cronfa.swan.ac.uk/Record/cronfa39
Tags: Add Tag
No Tags, Be the first to tag this record!
Item Description: In CALCO Young Researchers Workshop, CALCO-jnr 2009, Udine, Italy
College: College of Science
Start Page: 15
End Page: 17