On the Relationship between Reachability Problems in Timed and Counter Automata

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Haase, C, Ouaknine, J, Worrell, J
বিন্যাস: Journal article
প্রকাশিত: 2012