@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
}