Weak Alternating Timed Automata

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiWeak Alternating Timed Automata
Adres internetowy
Tytuł czasopismaLECTURE NOTES IN COMPUTER SCIENCE
Mediumpublikacja drukowana
Tom5555
Zeszyt
Rok wydania2009
Od strony273
Do strony284
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2009

Lista autorów
  
 1. Paweł Parys, Instytut Informatyki [Współautor]
 2. Igor Walukiewicz, Instytut Informatyki [Współautor]