ePubs

The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/29038
Record Status Checked
Record Id 29038
Title Reasoning about Interactive Systems with Stochastic Models
Contributors
Abstract
Organisation CCLRC , BITD
Keywords
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings In 8th International Workshop on Interactive Systems: Design, Specification, and Verification (DSV-IS 2001 ), Scotland, England, 13-15 Jun 2001, (2001): 144-163. doi:10.1007/3-540-45522-1_9 2001