Darko Markulin, Marijan Kunstic. Result of using formal methods in modeling telecommunication business management. In 2012 Proceedings of the 35th International Convention, MIPRO 2012, Opatija, Croatia, May 21-25, 2012. pages 517-522, IEEE, 2012. [doi]
@inproceedings{MarkulinK12, title = {Result of using formal methods in modeling telecommunication business management}, author = {Darko Markulin and Marijan Kunstic}, year = {2012}, url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6240700}, researchr = {https://researchr.org/publication/MarkulinK12}, cites = {0}, citedby = {0}, pages = {517-522}, booktitle = {2012 Proceedings of the 35th International Convention, MIPRO 2012, Opatija, Croatia, May 21-25, 2012}, publisher = {IEEE}, isbn = {978-1-4673-2577-6}, }