@InProceedings{VD08,
author={Bogdan Vukobratovi{\'c} and Stani{\v{s}}a Dautovi{\'c}},
title={Probabilistic Model Checking of Resistive Electrical Circuits},
booktitle={Proc. 16th Telecommunications Forum (TELFOR'08)},
year={2008},

editor={},
pages={508--511},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}