Bibliografija:

BibTex

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. @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{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
}