default search action

combined dblp search
author search
venue search
publication search

ask others

Bostjan Vlaovic

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2017
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/VlaovicVB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/VlaovicVB17
Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik:
Applying Automated Model Extraction for Simulation and Verification of Real-Life SDL Specification With Spin. IEEE Access 5: 5046-5058 (2017)
2014
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/BrezocnikVV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/BrezocnikVV14
Zmago Brezocnik, Bostjan Vlaovic, Aleksander Vreze:
SpinRCP: the eclipse rich client platform integrated development environment for the spin model checker. SPIN 2014: 125-128

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/csi/VrezeVB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csi/VrezeVB09
Aleksander Vreze, Bostjan Vlaovic, Zmago Brezocnik:
Sdl2pml - Tool for automated generation of Promela model from SDL specification. Comput. Stand. Interfaces 31(4): 779-786 (2009)
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/KovseVVB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/KovseVVB09
Tim Kovse, Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik:
Eclipse Plug-In for Spin and st2msc Tools-Tool Presentation. SPIN 2009: 143-147
2007
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/csi/VlaovicVBK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csi/VlaovicVBK07
Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik, Tatjana Kapus:
Automated generation of Promela model from SDL specification. Comput. Stand. Interfaces 29(4): 449-461 (2007)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.