Undergraduate studies:

BibTex

BibTeX 
  1. @article{Brezocnik2013,
  2. title = {Model Checking using Spin and SpinRCP},
  3. author = {Brezo\v{c}nik, Z. and Vlaovi\v{c}, B. and Vre\v{z}e, A.},
  4. journal = {Informacije MIDEM, Journal of Microelectronics, Electronic Components and Materials},
  5. volume = {43},
  6. number = {4},
  7. year = {2013},
  8. pages = {235-250},
  9. url = {http://www.midem-drustvo.si/Journal papers/MIDEM\_43\%282013\%294p235.pdf},
  10. keywords = {Promela,Spin,SpinRCP,formal verification,model checking,modelling,simulation},
  11. issn = {0352-9045}
  12. }
@article{Brezocnik2013,
title = {Model Checking using Spin and SpinRCP},
author = {Brezo\v{c}nik, Z. and Vlaovi\v{c}, B. and Vre\v{z}e, A.},
journal = {Informacije MIDEM, Journal of Microelectronics, Electronic Components and Materials},
volume = {43},
number = {4},
year = {2013},
pages = {235-250},
url = {http://www.midem-drustvo.si/Journal papers/MIDEM\_43\%282013\%294p235.pdf},
keywords = {Promela,Spin,SpinRCP,formal verification,model checking,modelling,simulation},
issn = {0352-9045}
}
BibTeX 
  1. @inproceedings{pihler2011,
  2.    author = "Gregor Pihler and Bo{"s}tjan Vlaovi{"c}",
  3.    title = "{Brezžično vodeni model čolna za prevoz vab pri ribolovu}",
  4.    booktitle = "{Dvajseta mednarodna Elektrotehni"ska in ra"cunalni"ska konferenca ERK}",
  5.    month = "September",
  6.    publisher = "{Slovenska sekcija IEEE}",
  7.    address = "{Portoro"z, Slovenija}",
  8.    pages = "59-62",
  9.    year = "2011"
  10. }
@inproceedings{pihler2011,
    author = "Gregor Pihler and Bo{"s}tjan Vlaovi{"c}",
    title = "{Brezžično vodeni model čolna za prevoz vab pri ribolovu}",
    booktitle = "{Dvajseta mednarodna Elektrotehni"ska in ra"cunalni"ska konferenca ERK}",
    month = "September",
    publisher = "{Slovenska sekcija IEEE}",
    address = "{Portoro"z, Slovenija}",
    pages = "59-62",
    year = "2011"
}
BibTeX 
  1. @inproceedings{mastnak2011,
  2.    author = "Mitja Mastnak and Bo{"s}tjan Vlaovi{"c}",
  3.    title = "{Sistem za mikrokrmilniško merjenje s podporo protokolu SNMP}",
  4.    booktitle = "{Dvajseta mednarodna Elektrotehni"ska in ra"cunalni"ska konferenca ERK}",
  5.    month = "September",
  6.    publisher = "{Slovenska sekcija IEEE}",
  7.    address = "{Portoro"z, Slovenija}",
  8.    pages = "490-493",
  9.    year = "2011"
  10. }
@inproceedings{mastnak2011,
    author = "Mitja Mastnak and Bo{"s}tjan Vlaovi{"c}",
    title = "{Sistem za mikrokrmilniško merjenje s podporo protokolu SNMP}",
    booktitle = "{Dvajseta mednarodna Elektrotehni"ska in ra"cunalni"ska konferenca ERK}",
    month = "September",
    publisher = "{Slovenska sekcija IEEE}",
    address = "{Portoro"z, Slovenija}",
    pages = "490-493",
    year = "2011"
}
BibTeX 
  1. @inproceedings{kovse2009,
  2.  author = "Tim Kov{"s}e and Bo{"s}tjan Vlaovi{"c} and Aleksander Vre{"z}e and Zmago Brezo{"c}nik",
  3.  title = "Eclipse Plug-In for Spin and st2msc Tools-Tool Presentation",
  4.  booktitle = "Lecture Notes in Computer Science",
  5.  pages = "143-147",
  6.  volume= 5578,
  7.  address = "Grenoble, France",
  8.  keywords = "tools, protocol, verification, Spin, MSC",
  9. }
@inproceedings{kovse2009,
  author = "Tim Kov{"s}e and Bo{"s}tjan Vlaovi{"c} and Aleksander Vre{"z}e and Zmago Brezo{"c}nik",
  title = "Eclipse Plug-In for Spin and st2msc Tools-Tool Presentation",
  booktitle = "Lecture Notes in Computer Science",
  pages = "143-147",
  volume= 5578,
  address = "Grenoble, France",
  keywords = "tools, protocol, verification, Spin, MSC",
}
BibTeX 
  1. @book{vreze2009,
  2.  author = "Aleksander Vre{"z}e and Bo{"s}tjan Vlaovi{"c} and Zmago Brezo{"c}nik",
  3.   title = "Sdl2pml - tool for automated generation of Promela model from SDL specification",
  4.   journal = "Computer Standards \& Interfaces",
  5.    pages = "779-786",
  6.    year = 2009,
  7.    number = 4,
  8.    volume = 31
  9. }
@book{vreze2009,
  author = "Aleksander Vre{"z}e and Bo{"s}tjan Vlaovi{"c} and Zmago Brezo{"c}nik",
   title = "Sdl2pml - tool for automated generation of Promela model from SDL specification",
   journal = "Computer Standards \& Interfaces",
    pages = "779-786",
    year = 2009,
    number = 4,
    volume = 31
}
BibTeX 
  1. @inproceedings{kovse2009,
  2.  author = "Tim Kov{"s}e and Bo{"s}tjan Vlaovi{"c} and Aleksander Vre{"z}e and Zmago Brezo{"c}nik",
  3.  title = "Spin Trail to Message Sequence Chart Conversion Tool",
  4.  booktitle = "The 10th International Conference on Telecomunications",
  5.  address = "Zagreb, Croatia",
  6.  keywords = "tools, protocol, verification, Spin, MSC",
  7.  abstract = "This paper presents a Spin trail to Message Sequence Chart conversion tool (st2msc), that was developed as an auxiliary tool to well-known Spin model checker. "
  8. }
@inproceedings{kovse2009,
  author = "Tim Kov{"s}e and Bo{"s}tjan Vlaovi{"c} and Aleksander Vre{"z}e and Zmago Brezo{"c}nik",
  title = "Spin Trail to Message Sequence Chart Conversion Tool",
  booktitle = "The 10th International Conference on Telecomunications",
  address = "Zagreb, Croatia",
  keywords = "tools, protocol, verification, Spin, MSC",
  abstract = "This paper presents a Spin trail to Message Sequence Chart conversion tool (st2msc), that was developed as an auxiliary tool to well-known Spin model checker. "
}
BibTeX 
  1. @article{vlaovic2007,
  2.    author = "Bo{"s}tjan Vlaovi{"c} and Aleksander Vre{"z}e and Zmago Brezo{"c}nik and Tatjana Kapus",
  3.    title = "{Automated Generation of Promela Model from SDL Specification}",
  4.    journal = "Computer Standards \& Interfaces",
  5.    pages = "449-461",
  6.    year = 2007,
  7.    number = 4,
  8.    volume = 29
  9. }
@article{vlaovic2007,
    author = "Bo{"s}tjan Vlaovi{"c} and Aleksander Vre{"z}e and Zmago Brezo{"c}nik and Tatjana Kapus",
    title = "{Automated Generation of Promela Model from SDL Specification}",
    journal = "Computer Standards \& Interfaces",
    pages = "449-461",
    year = 2007,
    number = 4,
    volume = 29
}
BibTeX 
  1. @inproceedings{romih2005,
  2.    author = "Andrej Romih and Bo{"s}tjan Vlaovi{"c} and Zmago Brezo{"c}nik",
  3.    title = "{"Sirokopasovni nizko"sumni oscilatorji spektralnega analizatorja}",
  4.    booktitle = "{"Stirinajsta mednarodna Elektrotehni"ska in ra"cunalni"ska konferenca ERK}",
  5.    month = "September",
  6.    publisher = "{Slovenska sekcija IEEE}",
  7.    address = "{Portoro"z, Slovenija}",
  8.    pages = "82-85",
  9.    year = "2005"
  10. }
@inproceedings{romih2005,
    author = "Andrej Romih and Bo{"s}tjan Vlaovi{"c} and Zmago Brezo{"c}nik",
    title = "{"Sirokopasovni nizko"sumni oscilatorji spektralnega analizatorja}",
    booktitle = "{"Stirinajsta mednarodna Elektrotehni"ska in ra"cunalni"ska konferenca ERK}",
    month = "September",
    publisher = "{Slovenska sekcija IEEE}",
    address = "{Portoro"z, Slovenija}",
    pages = "82-85",
    year = "2005"
}
BibTeX 
  1. @inproceedings{vlaovic2005a,
  2.    author = "Bo{"s}tjan Vlaovi{"c} and Aleksandere Vre{"z}e and Zmago Brezo{"c}nik",
  3.    title = "{Toward automatic generation of Promela models from SDL specification}",
  4.    booktitle = "{8th International Conference on Telecommunications, ConTEL 2005}",
  5.    month = "June",
  6.    publisher = "{University of Zagreb, Faculty of EE\&CS}",
  7.    address = "Zagreb, Croatia",
  8.    pages = "639-644",
  9.    year = "2005"
  10. }
@inproceedings{vlaovic2005a,
    author = "Bo{"s}tjan Vlaovi{"c} and Aleksandere Vre{"z}e and Zmago Brezo{"c}nik",
    title = "{Toward automatic generation of Promela models from SDL specification}",
    booktitle = "{8th International Conference on Telecommunications, ConTEL 2005}",
    month = "June",
    publisher = "{University of Zagreb, Faculty of EE\&CS}",
    address = "Zagreb, Croatia",
    pages = "639-644",
    year = "2005"
}
BibTeX 
  1. @article{vreze2005,
  2.    author = "Aleksander Vre{"z}e and Bo{"s}tjan Vlaovi{"c} and Zmago Brezo{"c}nik and Tatjana Kapus",
  3.    title = "{Development of MGCP protocol stack for SI2000 digital switch node}",
  4.    journal = "Electrotechnical Review",
  5.    pages = "22-29",
  6.    year = 2005,
  7.    volume = 72
  8. }
@article{vreze2005,
    author = "Aleksander Vre{"z}e and Bo{"s}tjan Vlaovi{"c} and Zmago Brezo{"c}nik and Tatjana Kapus",
    title = "{Development of MGCP protocol stack for SI2000 digital switch node}",
    journal = "Electrotechnical Review",
    pages = "22-29",
    year = 2005,
    volume = 72
}
BibTeX 
  1. @article{vlaovic2005,
  2.    author = "Bo{"s}tjan Vlaovi{"c} and Aleksander Vre{"z}e and Zmago Brezo{"c}nik and Tatjana Kapus",
  3.    title = "{Verification of an SDL Specification --- a Case Study}",
  4.    journal = "Electrotechnical Review",
  5.    pages = "14-21",
  6.    year = 2005,
  7.    volume = 72
  8. }
@article{vlaovic2005,
    author = "Bo{"s}tjan Vlaovi{"c} and Aleksander Vre{"z}e and Zmago Brezo{"c}nik and Tatjana Kapus",
    title = "{Verification of an SDL Specification --- a Case Study}",
    journal = "Electrotechnical Review",
    pages = "14-21",
    year = 2005,
    volume = 72
}
BibTeX 
  1. @book{vlaovic2004en,
  2.    author = "Bo{"s}tjan Vlaovi{"c}",
  3.    title = "{Automatic Generation of Models with Probes from the SDL System Specification: Ph.D dissertation (in Slovene)}",
  4.    publisher = "{University of Maribor, Faculty of EE\&CS}",
  5.    address = "Maribor, Slovenia",
  6.    month = "September",
  7.    year = "2004"
  8. }
@book{vlaovic2004en,
    author = "Bo{"s}tjan Vlaovi{"c}",
    title = "{Automatic Generation of Models with Probes from the SDL System Specification: Ph.D dissertation (in Slovene)}",
    publisher = "{University of Maribor, Faculty of EE\&CS}",
    address = "Maribor, Slovenia",
    month = "September",
    year = "2004"
}
BibTeX 
  1. @book{vlaovic2004,
  2.    author = "Bo{"s}tjan Vlaovi{"c}",
  3.    title = "{Avtomatska tvorba modelov s sondami iz specifikacije sistema v jeziku SDL}",
  4.    publisher = "Univerza v Mariboru, Fakulteta za elektrotehniko, ra{"c}unalni{"s}tvo in informatiko",
  5.    address = "Maribor, Slovenija",
  6.    month = "September",
  7.    year = "2004"
  8. }
@book{vlaovic2004,
    author = "Bo{"s}tjan Vlaovi{"c}",
    title = "{Avtomatska tvorba modelov s sondami iz specifikacije sistema v jeziku SDL}",
    publisher = "Univerza v Mariboru, Fakulteta za elektrotehniko, ra{"c}unalni{"s}tvo in informatiko",
    address = "Maribor, Slovenija",
    month = "September",
    year = "2004"
}
BibTeX 
  1. @inproceedings{zorko2003,
  2.    author = "Anton Zorko and Bo{"s}tjan Vlaovi{"c} and Zmago Brezo{"c}nik",
  3.    title = "{Digitalni prenos merilnih vrednosti v industrijskih sistemih}",
  4.    booktitle = "{Zbornik dvanajste Elektrotehni"ske in ra"cunalniške konference, ERK 2003}",
  5.    month = "September",
  6.    publisher = "{Slovenska sekcija IEEE}",
  7.    address = "Ljubljana, Slovenija",
  8.    pages = "311-314",
  9.    year = "2003"
  10. }
@inproceedings{zorko2003,
    author = "Anton Zorko and Bo{"s}tjan Vlaovi{"c} and Zmago Brezo{"c}nik",
    title = "{Digitalni prenos merilnih vrednosti v industrijskih sistemih}",
    booktitle = "{Zbornik dvanajste Elektrotehni"ske in ra"cunalniške konference, ERK 2003}",
    month = "September",
    publisher = "{Slovenska sekcija IEEE}",
    address = "Ljubljana, Slovenija",
    pages = "311-314",
    year = "2003"
}
BibTeX 
  1. @inproceedings{krebs2003,
  2.    author = "Rudi Krebs and Bo{"s}tjan Vlaovi{"c} and Zmago Brezo{"c}nik",
  3.    title = "{Prehod na konvergen"cna omre"zja z uporabo tuneliranja DSS1 v H.323}",
  4.    booktitle = "{Zbornik dvanajste Elektrotehni"ske in ra"cunalniške konference, ERK 2003}",
  5.    month = "September",
  6.    publisher = "{Slovenska sekcija IEEE}",
  7.    address = "Ljubljana, Slovenija",
  8.    pages = "131-134",
  9.    year = "2003"
  10. }
@inproceedings{krebs2003,
    author = "Rudi Krebs and Bo{"s}tjan Vlaovi{"c} and Zmago Brezo{"c}nik",
    title = "{Prehod na konvergen"cna omre"zja z uporabo tuneliranja DSS1 v H.323}",
    booktitle = "{Zbornik dvanajste Elektrotehni"ske in ra"cunalniške konference, ERK 2003}",
    month = "September",
    publisher = "{Slovenska sekcija IEEE}",
    address = "Ljubljana, Slovenija",
    pages = "131-134",
    year = "2003"
}
BibTeX 
  1. @inproceedings{vicman2002,
  2.    author = "Peter Vicman and Simon Nedok and Bo{"s}tjan Vlaovi{"c} and Zmago Brezo{"c}nik",
  3.    title = "{SIPIS - SIP Info Service}",
  4.    booktitle = "{Proceedings of the IASTED international conference, Applied informatics}",
  5.    month = "February",
  6.    publisher = "{IASTED/ACTA Press}",
  7.    address = "{Z\"{u}rich, Switzerland}",
  8.    pages = "122-125",
  9.    year = "2002"
  10. }
@inproceedings{vicman2002,
    author = "Peter Vicman and Simon Nedok and Bo{"s}tjan Vlaovi{"c} and Zmago Brezo{"c}nik",
    title = "{SIPIS - SIP Info Service}",
    booktitle = "{Proceedings of the IASTED international conference, Applied informatics}",
    month = "February",
    publisher = "{IASTED/ACTA Press}",
    address = "{Z\"{u}rich, Switzerland}",
    pages = "122-125",
    year = "2002"
}
BibTeX 
  1. @inproceedings{vlaovic2002a,
  2.    author = "Bo{"s}tjan Vlaovi{"c} and Simon Nedok and Peter Vicman and Zmago Brezo{"c}nik",
  3.    title = "{SIP-DSS1 Signalling Gateway}",
  4.    booktitle = "E-generation: technology for business momentum 2002",
  5.    month = "October",
  6.    publisher = "TecNet",
  7.    address = "Cork, Ireland",
  8.    pages = "111-120",
  9.    year = "2002"
  10. }
@inproceedings{vlaovic2002a,
    author = "Bo{"s}tjan Vlaovi{"c} and Simon Nedok and Peter Vicman and Zmago Brezo{"c}nik",
    title = "{SIP-DSS1 Signalling Gateway}",
    booktitle = "E-generation: technology for business momentum 2002",
    month = "October",
    publisher = "TecNet",
    address = "Cork, Ireland",
    pages = "111-120",
    year = "2002"
}
BibTeX 
  1. @article{vlaovic2002,
  2.    author = "Bo{"s}tjan Vlaovi{"c} and Zmago Brezo{"c}nik",
  3.    title = "{Analog Subscriber Call Generator}",
  4.    journal = "Electrotechnical Review",
  5.    pages = "259-265",
  6.    year = 2002,
  7.    volume = 69
  8. }
@article{vlaovic2002,
    author = "Bo{"s}tjan Vlaovi{"c} and Zmago Brezo{"c}nik",
    title = "{Analog Subscriber Call Generator}",
    journal = "Electrotechnical Review",
    pages = "259-265",
    year = 2002,
    volume = 69
}
BibTeX 
  1. @inproceedings{petrovic2001a,
  2.    author = "Dragoslav Petrovi{"c} and Bo{"s}tjan Vlaovi{"c}",
  3.    title = "{MBone: ogrodno omre"zje za oddajo ve"c uporabnikom hkrati}",
  4.    booktitle = "{Zbornik desete Elektrotehni"ske in ra"cunalniške konference, ERK 2001}",
  5.    month = "September",
  6.    publisher = "{Slovenska sekcija IEEE}",
  7.    address = "Ljubljana, Slovenija",
  8.    pages = "71-74",
  9.    year = "2001"
  10. }
@inproceedings{petrovic2001a,
    author = "Dragoslav Petrovi{"c} and Bo{"s}tjan Vlaovi{"c}",
    title = "{MBone: ogrodno omre"zje za oddajo ve"c uporabnikom hkrati}",
    booktitle = "{Zbornik desete Elektrotehni"ske in ra"cunalniške konference, ERK 2001}",
    month = "September",
    publisher = "{Slovenska sekcija IEEE}",
    address = "Ljubljana, Slovenija",
    pages = "71-74",
    year = "2001"
}
BibTeX 
  1. @inproceedings{petrovic2001,
  2.    author = "Dragoslav Petrovi{"c} and Bo{"s}tjan Vlaovi{"c}",
  3.    title = "{Orodja za uporabo omre"zja MBone}",
  4.    booktitle = "{Zbornik desete Elektrotehni"ske in ra"cunalniške konference, ERK 2001}",
  5.    month = "September",
  6.    publisher = "{Slovenska sekcija IEEE}",
  7.    address = "Ljubljana, Slovenija",
  8.    pages = "67-70",
  9.    year = "2001"
  10. }
@inproceedings{petrovic2001,
    author = "Dragoslav Petrovi{"c} and Bo{"s}tjan Vlaovi{"c}",
    title = "{Orodja za uporabo omre"zja MBone}",
    booktitle = "{Zbornik desete Elektrotehni"ske in ra"cunalniške konference, ERK 2001}",
    month = "September",
    publisher = "{Slovenska sekcija IEEE}",
    address = "Ljubljana, Slovenija",
    pages = "67-70",
    year = "2001"
}
BibTeX 
  1. @inproceedings{vlaovic2001,
  2.    author = "Bo{"s}tjan Vlaovi{"c} and Zmago Brezo{"c}nik",
  3.    title = "{Packet Based Telephony}",
  4.    booktitle = "International conference on trends in communications, Eurocon 2001",
  5.    month = "July",
  6.    publisher = "IEEE",
  7.    address = "Bratislava, Slovakia",
  8.    pages = "210-213",
  9.    year = "2001"
  10. }
@inproceedings{vlaovic2001,
    author = "Bo{"s}tjan Vlaovi{"c} and Zmago Brezo{"c}nik",
    title = "{Packet Based Telephony}",
    booktitle = "International conference on trends in communications, Eurocon 2001",
    month = "July",
    publisher = "IEEE",
    address = "Bratislava, Slovakia",
    pages = "210-213",
    year = "2001"
}
BibTeX 
  1. @inproceedings{nedok2001,
  2.    author = "Simon Nedok and Bo{"s}tjan Vlaovi{"c} and Tatjana Kapus and Zmago Brezo{"c}nik",
  3.    title = "FSK Message Indication Service for Analog Telephone",
  4.    booktitle = "{Proceedings of the 5th WSES International Conference on Circuits, Systems, Communications and Computers, CSCC 2001}",
  5.    month = "July",
  6.    publisher = "{WSES/IEEE}",
  7.    address = "Rethymno, Greece",
  8.    year = "2001"
  9. }
@inproceedings{nedok2001,
    author = "Simon Nedok and Bo{"s}tjan Vlaovi{"c} and Tatjana Kapus and Zmago Brezo{"c}nik",
    title = "FSK Message Indication Service for Analog Telephone",
    booktitle = "{Proceedings of the 5th WSES International Conference on Circuits, Systems, Communications and Computers, CSCC 2001}",
    month = "July",
    publisher = "{WSES/IEEE}",
    address = "Rethymno, Greece",
    year = "2001"
}
BibTeX 
  1. @inproceedings{vlaovic2000a,
  2.    author = "Bo{"s}tjan Vlaovi{"c} and Zmago Brezo{"c}nik",
  3.    title = "{Uporaba jezika SDL pri predmetu Programska oprema v TK sistemih}",
  4.    booktitle = "{Zbornik devete Elektrotehni"ske in ra"cunalniške konference, ERK 2000}",
  5.    month = "September",
  6.    publisher = "{Slovenska sekcija IEEE}",
  7.    address = "Ljubljana, Slovenija",
  8.    pages = "351-354",
  9.    year = "2000"
  10. }
@inproceedings{vlaovic2000a,
    author = "Bo{"s}tjan Vlaovi{"c} and Zmago Brezo{"c}nik",
    title = "{Uporaba jezika SDL pri predmetu Programska oprema v TK sistemih}",
    booktitle = "{Zbornik devete Elektrotehni"ske in ra"cunalniške konference, ERK 2000}",
    month = "September",
    publisher = "{Slovenska sekcija IEEE}",
    address = "Ljubljana, Slovenija",
    pages = "351-354",
    year = "2000"
}
BibTeX 
  1. @inproceedings{vlaovic2000,
  2.    author = "Bo{"s}tjan Vlaovi{"c} and Zmago Brezo{"c}nik",
  3.    title = "{Testing of Switch Node with Call Generator Software Module}",
  4.    booktitle = "{Proceedings of the IASTED international conference, Applied informatics}",
  5.    month = "February",
  6.    publisher = "{IASTED/ACTA Press}",
  7.    address = "{Z\"{u}rich, Switzerland}",
  8.    pages = "568-574",
  9.    year = "2000"
  10. }
@inproceedings{vlaovic2000,
    author = "Bo{"s}tjan Vlaovi{"c} and Zmago Brezo{"c}nik",
    title = "{Testing of Switch Node with Call Generator Software Module}",
    booktitle = "{Proceedings of the IASTED international conference, Applied informatics}",
    month = "February",
    publisher = "{IASTED/ACTA Press}",
    address = "{Z\"{u}rich, Switzerland}",
    pages = "568-574",
    year = "2000"
}
BibTeX 
  1. @book{vlaovic1999,
  2.    author = "Bo{"s}tjan Vlaovi{"c}",
  3.    title = "{Generator klicev za telefonsko centralo MLB SI2000 V5: diplomsko delo univerzitetnega {"s}tudija}",
  4.    publisher = "Univerza v Mariboru, Fakulteta za elektrotehniko, ra{"c}unalni{"s}tvo in informatiko",
  5.    address = "Maribor, Slovenija",
  6.    month = "September",
  7.    year = "1999"
  8. }
@book{vlaovic1999,
    author = "Bo{"s}tjan Vlaovi{"c}",
    title = "{Generator klicev za telefonsko centralo MLB SI2000 V5: diplomsko delo univerzitetnega {"s}tudija}",
    publisher = "Univerza v Mariboru, Fakulteta za elektrotehniko, ra{"c}unalni{"s}tvo in informatiko",
    address = "Maribor, Slovenija",
    month = "September",
    year = "1999"
}