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
Repository Eindhoven University of Technology

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