|
Tác giả CN
| Paolieri,Marco |
|
Nhan đề
| Probabilistic Model Checking of Regenerative Concurrent Systems |
|
Nguồn trích
| IEEE transactions on software engineering2016-2
Số: 2
Tập: 42 |
|
| 000 | 00000nab#a2200000ui#4500 |
|---|
| 001 | 17117 |
|---|
| 002 | 6 |
|---|
| 004 | F3F91228-45B2-459F-B3E3-BEAC5DA10029 |
|---|
| 005 | 201709291007 |
|---|
| 008 | 081223s vm| vie |
|---|
| 009 | 1 0 |
|---|
| 039 | |y20170929101509|zcuonglv |
|---|
| 100 | |aPaolieri,Marco |
|---|
| 245 | |aProbabilistic Model Checking of Regenerative Concurrent Systems |
|---|
| 773 | |tIEEE transactions on software engineering|v42|i2|d2016-2 |
|---|
| 890 | |c1|a0|b0|d3 |
|---|
|
Không tìm thấy biểu ghi nào