On the Relationship between Reachability Problems in Timed and Counter Automata

On the Relationship between Reachability Problems in Timed and Counter Automata

Ցույց տալ այլ տարբերակներ (1)
Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Haase, C, Ouaknine, J, Worrell, J
Ձևաչափ: Journal article
Հրապարակվել է: 2012
Ցույց տալ բոլոր տարբերակները (2)

Նմանատիպ նյութեր