Relating timed and register automata

Dane publikacji
  
Typ publikacjiPublikacja w książce
Rodzaj publikacjiArtykuł konferencyjny
Tytuł publikacjiRelating timed and register automata
Adres internetowy
Tytuł książkiEXPRESS'10
Tom
Od strony61
Do strony75
Liczba arkuszy
Liczba stron
Oznaczenie wydania
Miejsce wydania
Nazwa wydawcy
Rok wydania2010
Tytuł serii
Numer w serii
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2010

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]