Principles of the Spin Model Checker [E-Book] / by Mordechai Ben-Ari.
Ben-Ari, Mordechai.
London : Springer-Verlag London Limited, 2008.
online resource
9781846287701
Full Text
Description not available.