A uniform constraint-based framework for the verification of infinite state systems [Elektronische Ressource] / von Supratik Mukhopadhyay
178 Pages
English

A uniform constraint-based framework for the verification of infinite state systems [Elektronische Ressource] / von Supratik Mukhopadhyay

Downloading requires you to have access to the YouScribe library
Learn all about the services we offer

Informations

Published by
Published 01 January 2007
Reads 10
Language English
Document size 1 MB