Verics: A Tool for Verifying Timed Automata and Estelle Specifications
Dane publikacji
Typ publikacji
Publikacja w czasopi¶mie
Rodzaj publikacji
Artykuł konferencyjny
Tytuł publikacji
Verics: A Tool for Verifying Timed Automata and Estelle Specifications
Adres internetowy
Tytuł czasopisma
LECTURE NOTES IN COMPUTER SCIENCE
Medium
Tom
2619
Zeszyt
Rok wydania
2003
Od strony
278
Do strony
283
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2003
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
]