Fulltext present in this item

Thumbnail
Fulltext: 66929.pdf
Format: PDF
Description: preprint version
Title: Towards Data Path Analysis Using Uppaal
Author(s): Igna, G.
Publication year: 2008
In: Troubitsyna, E. (ed.), Proceedings of Doctoral Symposium held in conjunction with Formal Methods 2008, May 26-30 2008, Turku, Finland, pp. 18-22
Publisher: Turku, Finland : Turku Centre for Computer Science
Annotation: 26 mei 2008
Publication type: Article in monograph or in proceedings

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/66929   https://hdl.handle.net/2066/66929

Display more details
Editor(s): Troubitsyna, E.
Subject: Software Science
Organization: Software Science
Book title: Troubitsyna, E. (ed.), Proceedings of Doctoral Symposium held in conjunction with Formal Methods 2008, May 26-30 2008, Turku, Finland
Page start: p. 18
Page end: p. 22

This item appears in the following Collection(s)

Browse

Statistics