Jan-David Quesel

 

1 Theses (BibTeX Source)

@MISC{jdq07,
  TITLE = {{A} {T}heorem {P}rover for {D}ifferential {D}ynamic {L}ogic: {D}eductive {V}erification of {H}ybrid {S}ystems},
  AUTHOR = {{J}an-{D}avid {Q}uesel},
  URL = {http://csd.informatik.uni-oldenburg.de/~skript/pub/diplom/quesel07.pdf},
  SCHOOL = {University of Oldenburg},
  YEAR = 2007
}


@MISC{jdq05,
  TITLE = {{M}o{D}i{S}h{C}a - {M}odel {C}hecking {D}iscrete {S}hape {C}alculus},
  AUTHOR = {{J}an-{D}avid {Q}uesel},
  URL = {http://csd.informatik.uni-oldenburg.de/~skript/pub/ip/quesel05.pdf},
  SCHOOL = {University of Oldenburg},
  YEAR = 2005
}