Skip to main content
Article thumbnail
Location of Repository

Abstractions and Static Analysis for Verifying Reactive Systems

By N. Ioustinova
Publisher: Vrije Universiteit
Year: 2004
OAI identifier: oai:dare.ubvu.vu.nl:1871/9061
Provided by: DSpace at VU

Suggested articles


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.