| 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