|
[VD08]
Bogdan Vukobratović and Stanisa Dautović.
Probabilistic Model Checking of Resistive Electrical Circuits.
In Proc. 16th Telecommunications Forum (TELFOR'08), pages 508-511.
2008.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|