Three-valued Abstraction for Probabilistic Systems
Author | : Joost-Pieter Katoen |
Publisher | : |
Total Pages | : 98 |
Release | : 2007 |
ISBN-10 | : OCLC:551883511 |
ISBN-13 | : |
Rating | : 4/5 ( Downloads) |
Book Synopsis Three-valued Abstraction for Probabilistic Systems by : Joost-Pieter Katoen
Download or read book Three-valued Abstraction for Probabilistic Systems written by Joost-Pieter Katoen and published by . This book was released on 2007 with total page 98 pages. Available in PDF, EPUB and Kindle. Book excerpt: