Name: Formal Methods for Real-Time and Probabilistic Systems
Author: Joost-Pieter Katoen
ISBN: 9783540487784

null

Page Count:
0

Publication Date:
1999-01-01

ISBN-10:
3540487786

ISBN-13:
9783540487784

Science

No comments yet. Be the first to share your thoughts!