Slicing of Timed Automata with Discrete Data

Dane publikacji
Typ publikacji	Publikacja w czasopi¶mie
Rodzaj publikacji	Artykuł
Tytuł publikacji	Slicing of Timed Automata with Discrete Data
Adres internetowy
Tytuł czasopisma	FUNDAMENTA INFORMATICAE
Medium	publikacja drukowana
Tom	72
Zeszyt	3
Rok wydania	2006
Od strony	181
Do strony	195
Numer publikacji
Język publikacji	Angielski
Język etniczny badanej kultury
Zasięg	międzynarodowy
Rok sprawozdawczy	2006