@MastersThesis{ddd-mt-98,
  author =       {Jesper~M{\o}ller and Jakob~Lichtenberg},
  title =        {Dif\-feren\-ce Decision Dia\-grams},
  school =       {Department of Information Technology, 
                  Technical University of Denmark},
  year =         1998,
  address =      {Building 344, DK-2800 Lyngby, Denmark},
  month =        aug
}

@TechReport{ddd-datastructure-99,
  author = 	 {J. M{\o}ller and J. Lichtenberg and 
                  H. R. Andersen and H. Hulgaard},
  title = 	 {Dif\-feren\-ce Decision Dia\-grams},
  institution =  {Department of Information Technology, 
                  Technical University of Denmark},
  year = 	 1999,
  number = 	 {IT-TR-1999-023},
  address =      {Building 344, DK-2800 Lyngby, Denmark},
  month =        feb    
}

@TechReport{ddd-timedsystems-99,
  author = 	 {J. M{\o}ller and J. Lichtenberg and 
                  H. R. Andersen and H. Hulgaard},
  title = 	 {On the Symbolic Verification of Timed Systems},
  institution =  {Department of Information Technology, 
                  Technical University of Denmark},
  year = 	 1999,
  number = 	 {IT-TR-1999-024},
  address =      {Building 344, DK-2800 Lyngby, Denmark},
  month =        feb
}

@InProceedings{ddd-smc99,
  author = 	 {J. M{\o}ller and J. Lichtenberg and 
                  H. R. Andersen and H. Hulgaard},
  title = 	 {Fully symbolic model checking of timed systems
                  using difference decision diagrams},
  booktitle = 	 {Workshop on Symbolic Model Checking},
  year =	 1999,
  address =	 {The IT University of Copenhagen, Denmark},
  month =	 jun,
  volume = 	 23,
  number = 	 2
}

@InProceedings{ddd-csl99,
  author = 	 {J. M{\o}ller and J. Lichtenberg and 
                  H. R. Andersen and H. Hulgaard},
  title = 	 {Difference Decision Diagrams},
  booktitle = 	 {Computer Science Logic},
  year =	 1999,
  address =	 {The IT University of Copenhagen, Denmark},
  month =	 sep
}