Prof. Dr. Ernst-Rüdiger Olderog

 

1 Publisher (BibTeX Source)

@PROCEEDINGS{ftrtft02,
  TITLE = {\url{http://www.informatik.uni-oldenburg.de/ftrtft02/}{Formal Techniques in Real-Time and Fault-Tolerant Systems}},
  YEAR = {2002},
  EDITOR = {W. Damm and E.-R. Olderog},
  VOLUME = {\url{http://www.springer.de/cgi/svcat/search_book.pl?isbn=3-540-44165-4}{2496}},
  SERIES = {Lecture Notes in Computer Science},
}


@BOOK{spr,
  EDITOR = {E.-R. Olderog and B. Steffen},
  TITLE = {Correct System Design --- Recent Insights and Advances},
  SERIES = {Lecture Notes in Computer Science: 
State-of-the-Art-Survey},
  VOLUME = {\url{http://link.springer.de/link/service/series/0558/tocs/t1710.htm}{1710}},
  PUBLISHER = {Springer},
  YEAR = {1999}
}


@BOOK{ifip,
  EDITOR = {E.-R. Olderog},
  TITLE = {Programming Concepts, Methods and Calculi (PROCOMET'94)},
  SERIES = {IFIP Transactions},
  VOLUME = {A-56},
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  YEAR = {1994}
}


@BOOK{ol94,
  EDITOR = {F.S. de Boer and E.-R. Olderog and A. Ponse and F.-J. de Vries},
  TITLE = {Special Issue on Assertional Methods},
  PUBLISHER = {},
  YEAR = {1994},
  VOLUME = {6 (number 6A)},
  NUMBER = {6A},
  SERIES = {Formal Aspects of Computing},
}