Abstraction and probabilities for hybrid logics
- Electronic Journal Article
- Electronic Notes in Theoretical Computer Science
- Volume 112
- ISSN 1571-0661
Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, A. Cerone and A. Di Pierro (editors), 27-28 March 2004, Barcelona, Spain
- PDF of full publication (175 kilobytes)
- (need help viewing PDF files?)
- BibTEX file for the publication
- Copyright notice
Attached PDF document is preliminary version only.
- Conditions for downloading publications from this site.