NUST Institutions Library Catalogue

Normal view MARC view
  • Ernst-Rüdiger Olderog, Henning Dierks

Ernst-Rüdiger Olderog, Henning Dierks (Personal Name)

Number of records used in: 1
Preferred form: Ernst-Rüdiger Olderog, Henning Dierks

Machine generated authority record.

Work cat.: (NUST): Ernst-Rüdiger Olderog, Henning Dierks., Real-Time Systems: Formal Specification and Automatic Verification /, 2008.

© 2023 Central Library, National University of Sciences and Technology. All Rights Reserved.