A- A A+
logo

Deciding Reachability and Coverability in Lossy EOS

Type
Authors
Di Cosmo F.; Mal S.; Prince T.
Source title
CEUR Workshop Proceedings
Publication Year

INDIAN INSTITUTE OF TECHNOLOGY DHARWAD
PERMANENT CAMPUS
CHIKKAMALLIGAWAD
DHARWAD - 580 011
KARNATAKA
BHARATA (INDIA)

pro@iitdh.ac.in

Contact Us