|
DSpace at RU >
University Library >
Academic bibliography >
| Title: | Model Checking the Time to Reach Agreement |
| Author(s): | Hendriks, M. (217539319)
Pettersson, P.
Yi, W. |
| Publication year: | 2005 |
| Document type: | Article in monograph or in proceedings |
| Book title: | Paul, Pettersson & Wang Yi (eds.), Formal Modeling and Analysis of Timed Systems : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings |
| ISBN: | 9783540309468 |
| Volume: | vol. 3829 |
| Start page: | p. 98 |
| End page: | p. 111 |
| Publisher: | Berlin, Germany : Springer |
| Subject: | Informatics for Technical Applications |
| Organization: | Informatics for Technical Applications |
| Appears in Collections: | Academic bibliography
|
|
Please use this identifier to cite or link to this item:
http://hdl.handle.net/2066/32744
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
|
