THÔNG TIN TÀI LIỆU
Thông tin cơ bản
Tiêu đề | Deciding Probabilistic Bisimilarity Over Infinite-State Systems |
---|---|
Tác giả | T. Brỏzdil |
Trường học | Not Available |
Chuyên ngành | Concurrency Theory |
Thể loại | Thesis |
Năm xuất bản | 2004 |
Thành phố | Not Available |
Định dạng | |
---|---|
Số trang | 30 |
Dung lượng | 813,64 KB |
Nội dung
Ngày đăng: 08/11/2013, 02:15
Xem thêm
TÀI LIỆU CÙNG NGƯỜI DÙNG
TÀI LIỆU LIÊN QUAN