SwePub
Sök i LIBRIS databas

  Extended search

WFRF:(Krcal Pavel)
 

Search: WFRF:(Krcal Pavel) > Sampled semantics o...

Sampled semantics of timed automata

Abdulla, Parosh Aziz (author)
Uppsala universitet,Datorteknik
Krcal, Pavel (author)
Uppsala universitet,Datorteknik
Yi, Wang (author)
Uppsala universitet,Datorteknik,Embedded Systems
 (creator_code:org_t)
2010
2010
English.
In: Logical Methods in Computer Science. - 1860-5974. ; 6:3, s. 14:1-37
  • Journal article (peer-reviewed)
Subject headings
Close  

Subject headings

NATURVETENSKAP  -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
NATURAL SCIENCES  -- Computer and Information Sciences -- Computer Sciences (hsv//eng)

Keyword

Theoretical computer science
Teoretisk datalogi

Publication and Content Type

ref (subject category)
art (subject category)

Find in a library

To the university's database

Find more in SwePub

By the author/editor
Abdulla, Parosh ...
Krcal, Pavel
Yi, Wang
About the subject
NATURAL SCIENCES
NATURAL SCIENCES
and Computer and Inf ...
and Computer Science ...
Articles in the publication
Logical Methods ...
By the university
Uppsala University

Search outside SwePub

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.

 
pil uppåt Close

Copy and save the link in order to return to this view