Path Compression in Timed Automata

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiPath Compression in Timed Automata
Adres internetowy
Tytuł czasopismaFUNDAMENTA INFORMATICAE
Mediumpublikacja drukowana
Tom79
Zeszyt3-4
Rok wydania2007
Od strony379
Do strony399
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2007

Lista autorów
  
 1. Agata Janowska, Zakład Systemów Operacyjnych [Współautor]
 2. Wojciech Penczek, Jednostka zewnetrzna [Współautor]