No Cover Image

Book 518 views

AVoCS'09 - Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems / Markus Roggenbach

Electronic Communications of the EASST, Volume: 23, Start page: 262 pp.

Swansea University Author: Markus, Roggenbach

Published in: Electronic Communications of the EASST
Published: 2009
Online Access: http://journal.ub.tu-berlin.de/index.php/eceasst/issue/view/32
URI: https://cronfa.swan.ac.uk/Record/cronfa193
Tags: Add Tag
No Tags, Be the first to tag this record!
College: College of Science
Start Page: 262 pp.