No Cover Image

Other 260 views

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

Swansea University Author: Phillip James

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