Beta 1


Title Solving timed satisfiability using BEDs
Author Kruger, Rasmus Lund
Nielsen, Søren Laurits
Institution Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark
Thesis level Master's thesis
Year 2002
Imprint Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU : DK-2800 Kgs. Lyngby, Denmark
Admin Creation date: 2006-06-22    Update date: 2012-12-20    Source: dtu    ID: 58317    Original MXD