Abstract interpretation of reactive systems: abstractions preserving ACTL*, ƎCTL* and CTL* / by D. Dams, O. Grumberg and R. Gerth
type: Book
type: CreativeWork
type: ProductModel
issued: 1994
about: p075614111
about: p075684659
author: p100946453
contributor: p07430707X
contributor: p123441250
language: en
is part of: p860173992
main entity of page: https://data.bibliotheken.nl/.well-known/genid/2f2e268a78880a7ba974dc702f9fc599
name: Abstract interpretation of reactive systems: abstractions preserving ACTL*, ƎCTL* and CTL*
number of pages: 28