Path Compression in Timed Automata
Dane publikacji
Typ publikacji
Publikacja w czasopi¶mie
Rodzaj publikacji
Artykuł
Tytuł publikacji
Path Compression in Timed Automata
Adres internetowy
Tytuł czasopisma
FUNDAMENTA INFORMATICAE
Medium
publikacja drukowana
Tom
79
Zeszyt
3-4
Rok wydania
2007
Od strony
379
Do strony
399
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2007
Lista autorów
1.
Agata Janowska
,
Zakład Systemów Operacyjnych
[
Współautor
]
2.
Wojciech Penczek,
Jednostka zewnetrzna
[
Współautor
]