Statistics
Publications
1
Citations
11
H-Index
1
Active since
2002
Affiliations
University of Warsaw(Current)
Anna Doros is an author at University of Warsaw specializing in timed finite state machines, finite automata, and finite automata theory.
Publications per year
2002–2002
1
1
From Specification Languages to Timed Automata
Anna Doros, Agata Janowska, Paweł Janowski · 2002 · 11 citations
1–1 of 1