A Logical Characterization for Dense-Time Visibly Pushdown Automata
Conference Proceeding
Overview
publication date
- March 14, 2016
Full Author List
- Bhave D; Dave V; Krishna SN; Phawade R; Trivedi A
published in
Other Profiles
Digital Object Identifier (DOI)
International Standard Book Number (ISBN) 13
- 978-3-319-29999-0
Additional Document Info
start page
- 89
end page
- 101
volume
- 9618