No Cover Image

Other 125 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