APA Style
Baier, Christel, Katoen, Joost-Pieter. (-).
Principles of model checking .
Cambridge:
Massachusetts Institute.
Chicago Style
Baier, Christel, Katoen, Joost-Pieter.
Principles of model checking.
Cambridge:
Massachusetts Institute,
-.
E-Book.
MLA Style
Baier, Christel, Katoen, Joost-Pieter.
Principles of model checking.
Cambridge:
Massachusetts Institute,
-.
E-Book.
Turabian Style
Baier, Christel, Katoen, Joost-Pieter.
Principles of model checking.
Cambridge:
Massachusetts Institute,
-.
E-Book.