No Cover Image

Conference Paper/Proceeding/Abstract 683 views

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

Pages: 15 - 17

Swansea University Author: Markus Roggenbach

Published: University of Udine 2009
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