↓ Direkt till sidans innehåll
↓ Direkt till sidans sekundära innehåll (sidomenyn)

Sökning: onr:"swepub:oai:DiVA.org:kth-180645" > Code Synthesis for ...

1 av 1
Föregående post
Nästa post
Till träfflistan

Code Synthesis for Timed Automata

Amnell, Tobias (författare): Uppsala universitet,Institutionen för informationsteknologi,Datorteknik

Fersman, Elena (författare): Uppsala universitet,Institutionen för informationsteknologi,Datorteknik,Division of Computer Systems, Department of Information Technology, Uppsala University

Pettersson, Paul (författare): Uppsala universitet,Institutionen för informationsteknologi,Datorteknik,UPPAAL

Sun, Hongyan (författare)

Yi, Wang (författare): Uppsala universitet,Institutionen för informationsteknologi,Datorteknik,UPPAAL

(creator_code:org_t)

2002
2002
Engelska.
Ingår i: Nordic Journal of Computing. - 1236-6064. ; 9:4, s. 269-300

Relaterad länk:: https://urn.kb.se/re...; visa fler...; https://urn.kb.se/re...; visa färre...

Tidskriftsartikel (refereegranskat)

Ämnesord

Stäng

Hitta via bibliotek

Nordic Journal of Computing (Sök värdpublikationen i LIBRIS)

Till lärosätets databas

1 av 1
Föregående post
Nästa post
Till träfflistan

Hitta mer i SwePub

Av författaren/redakt...: Amnell, Tobias; Fersman, Elena; Pettersson, Paul; Sun, Hongyan; Yi, Wang

Om ämnet

TEKNIK OCH TEKNOLOGIER: TEKNIK OCH TEKNO ...; och Maskinteknik

NATURVETENSKAP: NATURVETENSKAP; och Data och informa ...

Artiklar i publikationen: Nordic Journal o ...; Nordic Journal o ...

Av lärosätet: Kungliga Tekniska Högskolan; Uppsala universitet

Sök utanför SwePub

Sök vidare i:: Google; 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 - Nationella bibliotekssystem
LIBRIS.kb.se

pil uppåt

Stäng

Kopiera och spara länken för att återkomma till aktuell vy