5445797
9780521875462
Containing case studies and numerous exercises, this title is a broad and accessible introduction to the Hennessy-Milner logic aimed at graduate students and based on taught courses in Iceland and Denmark.Aceto, Luca is the author of 'Reactive Systems Modeling, Specification and Verification', published 2007 under ISBN 9780521875462 and ISBN 0521875463.
[read more]