Weak Alternating Timed Automata

Dane publikacji
Typ publikacji	Publikacja w czasopi¶mie
Rodzaj publikacji	Artykuł
Tytuł publikacji	Weak Alternating Timed Automata
Adres internetowy
Tytuł czasopisma	LOGICAL METHODS IN COMPUTER SCIENCE
Medium	publikacja drukowana
Tom	8
Zeszyt	3
Rok wydania	2012
Od strony	1
Do strony	27
Numer publikacji
Język publikacji	Angielski
Język etniczny badanej kultury
Zasięg	międzynarodowy
Rok sprawozdawczy	2012