Sign in
  Edit search
Formal Modeling and Analysis of Timed Systems, vol. 3829
Formal Modeling and Analysis of Timed Systems, vol. 3829
Model Checking the Time to Reach Agreement
Model Checking the Time to Reach Agreement
eBook
Model Checking the Time to Reach Agreement
Authors: M. Hendriks
Page: 98-111
Published: 2005
ISBN: 9783540309468
  Full text availability for this item
View Full Text Source:Formal Modeling and Analysis of Timed Systems, vol. 3829,Formal Modeling and Analysis of Timed Systems, vol. 3829,Springer Nature - Springer Lecture Notes in Computer Science eBooks Opens in new Window
Collection:  Springer Nature - Springer Lecture Notes in Computer Science eBooks
Coverage:
  • 2005
  Request a copy of this item
Cite this item