Prof. Dr. Ernst-Rüdiger Olderog

 

1 Books (BibTeX Source)

@BOOK{OD08,
  AUTHOR = {E.-R. Olderog and H. Dierks},
  TITLE = {Real-Time Systems --- Formal Specification and Automatic 
Verification},
  PUBLISHER = {Cambridge University Press},
  YEAR = 2008,
  NOTE = {ISBN 978-0-521-88333-7. For more information see: \url{http://csd.informatik.uni-oldenburg.de/rt-book/}{http://csd.informatik.uni-oldenburg.de/rt-book/}}
}


@BOOK{ero97-verification,
  AUTHOR = {K.-R. Apt and E.-R. Olderog},
  TITLE = {Verification of Sequential and Concurrent Programs.},
  EDITION = {2nd},
  PUBLISHER = {Springer-Verlag},
  YEAR = 1997,
  NOTE = {ISBN 0-387-94896-1. 
    \url{http://www.springer-ny.com/catalog/np/mar97np/DATA/0-387-94896-1.html}
    {This book in the Springer catalogue}.
   
\url{
http://csd.informatik.uni-oldenburg.de/pub/Papers/ero97-verification-a.ps.gz}
    {More Information}.
  }
}


@BOOK{ero94,
  AUTHOR = {K. R. Apt and E.-R. Olderog},
  TITLE = {Programm\-verifikation},
  PUBLISHER = {Springer-Verlag},
  NOTE = {{\url{http://csd.Informatik.Uni-Oldenburg.DE/~skript/pub/Papers/Errata.ps}
      {Errata-Liste}}
    bzw.
{\url{http://csd.Informatik.Uni-Oldenburg.DE/~skript/pub/Papers/Errata\_long.ps}
      {Errata-Liste mit Tippfehlern}}},
  YEAR = 1994
}


@BOOK{Old05-nets,
  AUTHOR = {E.-R. Olderog},
  TITLE = {Nets, Terms and Formulas: Three Views of Concurrent
    Processes and Their Relationship},
  PUBLISHER = {Cambridge University Press},
  YEAR = 1991,
  PAGES = {267},
  NOTE = {Paperback Edition 2005}
}