Enhancing UPPAAL by exploiting symmetry / M. Hendriks
type: Book
type: ProductModel
type: CreativeWork
is part of: p242824072
main entity of page: https://data.bibliotheken.nl/.well-known/genid/6c1cedbc43c5a073ac48dee931f24f23
name: Enhancing UPPAAL by exploiting symmetry
about: p075603233
about: p075598876
author: p217539319
author: p242823157
language: en
number of pages: 42
issued: 2002