Relating timed and register automata
Dane publikacji
Typ publikacji
Publikacja w książce
Rodzaj publikacji
Artykuł konferencyjny
Tytuł publikacji
Relating timed and register automata
Adres internetowy
Tytuł książki
EXPRESS'10
Tom
Od strony
61
Do strony
75
Liczba arkuszy
Liczba stron
Oznaczenie wydania
Miejsce wydania
Nazwa wydawcy
Rok wydania
2010
Tytuł serii
Numer w serii
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2010
Lista autorów
1.
Diego Figueira,
Jednostka zewnetrzna
[
Współautor
]
2.
Piotr Hofman
,
Instytut Informatyki
[
Współautor
]
3.
Sławomir Lasota
,
Zakład Logiki Stosowanej
[
Współautor
]