Normal view MARC view
  • Katoen, Joost-Pieter

Katoen, Joost-Pieter (Personal Name)

Number of records used in: 1
Preferred form: Katoen, Joost-Pieter

Machine generated authority record.

Work cat.: (JGU)2345104: Baier, Christel. 697263, Principles of Model Checking.

O.P. Jindal Global University, Sonepat-Narela Road, Sonepat, Haryana (India) - 131001

Send your feedback to glus@jgu.edu.in

Hosted, Implemented & Customized by: BestBookBuddies   |   Maintained by: Global Library