|
DSpace at RU >
University Library >
Academic bibliography >
Files in This Item:
| File |
Description |
Size | Format |
|---|
 | author's version | 219.08 kB | Adobe PDF | View/Open |
|
| Title: | Adding Symmetry Reduction to Uppaal |
| Author(s): | Hendriks, M. (217539319)
Behrmann, G. (217550312)
Larsen, K.G.
Niebert, P.
Vaandrager, F.W. (07206806X)
Larsen, K.G.
Niebert, P. |
| Publication year: | 2004 |
| Document type: | Article in monograph or in proceedings |
| Book title: | Proceedings First International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS 2003), em September 6-7 2003, Marseille, France |
| Volume: | vol. 2791 |
| Start page: | p. 46 |
| End page: | p. 59 |
| Publisher: | [S.l.] : Springer-Verlag |
| Annotation: | 2693 |
| 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/60201
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
|
