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]
Abstract is missing.