Normal view
MARC view
"Christel Baier, Joost-Pieter Katoen" (Personal Name)
Machine generated authority record
Work cat.: (*Your library's NUC here*)2130: "Christel Baier, Joost-Pieter Katoen", Principle of Model Checking, 2008
