×
  • Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings

    Bengt Jonsson

Click on cover to enlarge.
Buy This Book
From Amazon.
8 - 9Hours to read