© University of Kent - Contact | Feedback | Legal | FOI | Cookies
An abstract domain for probabilistic hybrid systems
Marius C. Bujorianu and Manuela L. Bujorianu
BULLETIN of the European Association for Theoretical Computer Science EATCS, N. 74, June 2001, April 2001.Bibtex Record
@misc{1305, author = {Marius C. Bujorianu and Manuela L. Bujorianu}, title = {An Abstract Domain for Probabilistic Hybrid Systems}, month = {April}, year = {2001}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2001/1305}, publication_type = {misc}, submission_id = {14124_1004022454}, howpublished = {BULLETIN of the European Association for Theoretical Computer Science EATCS, N. 74, June 2001}, }