No Cover Image

Conference Paper/Proceeding/Abstract 579 views

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

Pages: 15 - 17

Swansea University Author: Markus, Roggenbach

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