No Cover Image

Other 90 views

SAT-based Model Checking and its applications to Train Control Software / Phillip James

Swansea University Author: James, Phillip

Published: Swansea University 2010
URI: https://cronfa.swan.ac.uk/Record/cronfa37069
Tags: Add Tag
No Tags, Be the first to tag this record!
College: College of Science