A Testing Equivalence for Reactive Probabilistic Processes

Authors: Kwiatkowska M.Z.; Norman G.J.

Source: Electronic Notes in Theoretical Computer Science, Volume 16, Number 2, January 2004 , pp. 1-19(19)

Publisher: Elsevier

Language: English

Document Type: Research article

DOI: http://dx.doi.org/10.1016/S1571-0661(04)00121-5

Publication date: 2004-01-01

• In this: publication
• By this: publisher
• In this Subject: Computer Science ,  Mathematics and Statistics
• By this author: Kwiatkowska M.Z. ;  Norman G.J.

Website © Publishing Technology. Article copyright remains with the publisher, society or author(s) as specified within the article.

• Terms and conditions
• Privacy policy
• Information for advertisers