Publicações

AuthID
P-004-D75

Author(s)

Editor(s)

Raskin, JF; Thiagarajan, PS

Document Type

Proceedings Paper

Year published

2007

Published

in Formal Modeling and Analysis of Timed Systems in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743

Volume: 4763, Pages: 290-303 (14)

Conference

5Th International Conference on Formal Modeling and Analysis of Timed Systems, Date: OCT 03-05, 2007, Location: Salzburg, AUSTRIA

Indexing

Wos^®

Scopus^®

Publication Identifiers

Scopus: 2-s2.0-38149073237

Wos: WOS:000250420400021

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Info

At this moment we don't have any links to full text documens.

Useful Links