|
DSpace at RU >
University Library >
Academic bibliography >
| Title: | A Checker for Modal Formulas for Processes with Data |
| Author(s): | Groote, J.F. (075010259)
Willemse, T.A.C. (186007140)
Boer, F.S. de (072666641)
Bosangue, M.M.
Graf, S.
Roever, W.-P. de |
| Publication year: | 2004 |
| Document type: | Article in monograph or in proceedings |
| Book title: | Proceedings of FMCO 2003 |
| Volume: | vol. 3188 |
| Start page: | p. 223 |
| End page: | p. 239 |
| Publisher: | [s.l.] : Springer-Verlag |
| Annotation: | 4161 |
| 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/60598
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
|
