%0 Report %1 20821 %A Hendrikx, Koen %A Duval, Erik %C Leuven, Belgium %D 1997 %K imported %T Pedagogica Verification Experiment Planning: KUL/CS

@techreport{20821, added-at = {2007-10-04T22:02:40.000+0200}, address = {Leuven, Belgium}, author = {Hendrikx, Koen and Duval, Erik}, biburl = {https://www.bibsonomy.org/bibtex/2ded08801a2ba06c400ba1e250a7f2b19/erik.duval}, institution = {Department of Computer Science, K.U.Leuven}, interhash = {6c492a14a3caa5bb61244bda16c4cae4}, intrahash = {ded08801a2ba06c400ba1e250a7f2b19}, keywords = {imported}, month = {January}, timestamp = {2007-10-04T22:02:48.000+0200}, title = {{P}edagogica {V}erification {E}xperiment {P}lanning: {KUL}/{CS}}, type = {Ariadne Report KUL\_CS/WP15.3a}, year = 1997 }