WFRF:(Leucker Martin)
Search: WFRF:(Leucker Martin) > (2005-2009) > Inference of Timed ...
- 4 of 10
- Previous record
- Next record
- To hitlist
Inference of Timed Transition Systems
-
- Grinchtein, Olga (author)
- Uppsala universitet,Institutionen för informationsteknologi,Datorteknik,datorteknik,Testing of Reactive Systems
-
- Leucker, Martin (author)
- Uppsala universitet,Institutionen för informationsteknologi,Datorteknik,datorteknik,Testing of Reactive Systems
-
- Jonsson, Bengt (author)
- Uppsala universitet,Institutionen för informationsteknologi,Datorteknik,datorteknik,Testing of Reactive Systems
- (creator_code:org_t)
- 2005
- 2005
- English.
- In: Proceedings of the 6th International Workshop on Verification of Infinite-State Systems (INFINITY).
- Conference paper (peer-reviewed)
Subject headings
Close
Keyword
- learning timed systems
Publication and Content Type
- ref (subject category)
- kon (subject category)
To the university's database
- 4 of 10
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Grinchtein, Olga
- Leucker, Martin
- Jonsson, Bengt
- Articles in the publication
- Proceedings of t ...
- By the university
- Uppsala University
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
