KNAW

Publication

Static analysis techniques for parameterised Boolean equation systems (2009)

Pagina-navigatie:
Title Static analysis techniques for parameterised Boolean equation systems
Author Orzan, SM Simona; Wesselink, JW Wieger; Willemse, TAC Tim
Date 2009
Publisher Springer
Rights Copyright (c) Orzan, SM Simona; Copyright (c) Wesselink, JW Wieger; Copyright (c) Willemse, TAC Tim
Publication http://repository.tue.nl/660163
Persistent Identifier URN:NBN:NL:UI:25-660163
Metadata XML
Source Eindhoven University of Technology

Go to page top
Go back to contents
Go back to site navigation