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