Verics: A Tool for Verifying Timed Automata and Estelle Specifications

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł konferencyjny
Tytuł publikacjiVerics: A Tool for Verifying Timed Automata and Estelle Specifications
Adres internetowy
Tytuł czasopismaLECTURE NOTES IN COMPUTER SCIENCE
Medium
Tom2619
Zeszyt
Rok wydania2003
Od strony278
Do strony283
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2003

Lista autorów
  
 1.  Piotr Dembinski, Jednostka zewnetrzna [Współautor]
 2. Agata Janowska, Zakład Systemów Operacyjnych [Współautor]
 3. Paweł Janowski, Instytut Informatyki [Współautor]
 4. Wojciech Penczek, Jednostka zewnetrzna [Współautor]
 5. Agata Polrola, Jednostka zewnetrzna [Współautor]
 6. Maciej Szreter, Jednostka zewnetrzna [Współautor]
 7. Bozena Wozna, Jednostka zewnetrzna [Współautor]
 8. Andrzej Zbrzezny, Jednostka zewnetrzna [Współautor]