Translation of Timed Promela to Timed Automata with Discrete Data

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiTranslation of Timed Promela to Timed Automata with Discrete Data
Adres internetowy
Tytuł czasopismaFUNDAMENTA INFORMATICAE
Medium
Tom85
Zeszyt1-4
Rok wydania2008
Od strony409
Do strony424
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2008

Lista autorów
  
 1. Agata Janowska, Zakład Systemów Operacyjnych [Współautor]
 2. Paweł Janowski, Instytut Informatyki [Współautor]
 3. Wojciech Nabiałek, Jednostka zewnetrzna [Współautor]