Workshop on Real-Time Tools (Proceedings)

Petterson, Paul; Yi (eds.), Wang

uu.sePublications from Uppsala University

Simple search

Advanced search -
Research publications Advanced search -
Student theses Statistics

English Svenska Norsk

Change search

Cite ExportLink to record

Permanent link

https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-529558

Direct link

http://uu.diva-portal.org/smash/record.jsf?pid=diva2:1861899

Cite

Citation style

apa
ieee
modern-language-association
vancouver
Other style

More styles

Language

de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale

More languages

Output format

html
text
asciidoc
rtf

Workshop on Real-Time Tools (Proceedings)

Petterson, Paul

Yi (eds.), Wang

2002 (English)Report (Other academic)

Abstract [en]

Proceedings of the 2nd workshop on Real-Time Tools (RT-TOOLS), arranged in Copenhagen, Denmark, August 1 2002 in association with the 14th conference on Computer-Aided Verification (CAV).

Place, publisher, year, edition, pages

Department of Information Technology, Uppsala University , 2002.

Series

Technical report / Department of Information Technology, Uppsala University, ISSN 1404-3203 ; 2002-025

Identifiers

URN: urn:nbn:se:uu:diva-529558OAI: oai:DiVA.org:uu-529558DiVA, id: diva2:1861899

Available from: 2024-05-28 Created: 2024-05-28

Open Access in DiVA

No full text in DiVA

Search outside of DiVA

Google Google Scholar

urn-nbn

Total: 10 hits