A. van Dam

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

1 A. van Dam, Bas Ploeger, Tim A. C. Willemse: Instantiation for Parameterised Boolean Equation Systems. ICTAC 2008: 440-454

	2008
1		A. van Dam, Bas Ploeger, Tim A. C. Willemse: Instantiation for Parameterised Boolean Equation Systems. ICTAC 2008: 440-454

Coauthor Index

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page