On the Relationship between Reachability Problems in Timed and Counter Automata

On the Relationship between Reachability Problems in Timed and Counter Automata

Show other versions (1)

Bibliographic Details
Main Authors:	Haase, C, Ouaknine, J, Worrell, J
Format:	Journal article
Published:	2012

On the relationship between reachability problems in timed and counter automata

On the relationship between reachability problems in timed and counter automata by Haase, C, Ouaknine, J, Worrell, J

Published 2012

Journal article