Trích dẫn APA

Paolieri,Marco. Probabilistic Model Checking of Regenerative Concurrent Systems.

Trích dẫn kiểu Chicago

Paolieri,Marco. Probabilistic Model Checking Of Regenerative Concurrent Systems.

Trích dẫn MLA

Paolieri,Marco. Probabilistic Model Checking Of Regenerative Concurrent Systems.

Cảnh báo! Những trích dẫn này có thể không chính xác 100%.