Abstractions and static analysis for verifying reactive systems / Nataliya Yustinova
type: Book
type: CreativeWork
type: ProductModel
issued: 2004
about: p075658321
about: p075664186
about: p077605179
about: p078682851
about: p096990945
author: p270235183
description: Proefschrift Vrije Universiteit Amsterdam
language: en
isbn: 906196525X
main entity of page: https://data.bibliotheken.nl/.well-known/genid/81b5a363e300c70558b2b2b993056c87
name: Abstractions and static analysis for verifying reactive systems
number of pages: 191