Normal view MARC view

Katoen, Joost-Pieter. (Personal Name)

Preferred form: Katoen, Joost-Pieter.

Machine generated authority record.

Work cat.: (OSt): Baier, Christel. 14573, Principles of model checking /, [2008?]




Contact for Queries: skpathak@iiserb.ac.in