-
Model checking software [Elektronski vir] : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedingsInternational SPIN Workshop (18th ; 2011 ; Snowbird, Utah)Vrsta gradiva - e-knjigaZaložništvo in izdelava - Heidelberg : Springer, 2011Jezik - angleškiISBN - 978-3-642-22306-8; 3-642-22306-0COBISS.SI-ID - 1544247519
Povezava(-e):
SpringerLink e-books 2008-2012Celotno besedilo dostopno za uporabnike SpringerLink slovenskega konzorcija neprofitnih institucij
Full text accessible to the users of SpringerLink Slovenian Consortium of Non-Profit Institutions
DOI
Avtor
International SPIN Workshop
Drugi avtorji
Groce, Alex |
Musuvathi, Madanlal
Zbirka
Lecture notes in computer science
Teme
SPIN (Computer file) |
Congresses |
SPIN (Computer file) |
Computer software |
Verification |
Congresses |
Computer software |
Verification |
Informatique |
Electronic books |
Conference proceedings
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Vnos na polico
Trajna povezava
- URL:
Faktor vpliva
Dostop do baze podatkov JCR je dovoljen samo uporabnikom iz Slovenije. Vaš trenutni IP-naslov ni na seznamu dovoljenih za dostop, zato je potrebna avtentikacija z ustreznim računom AAI.
Leto | Faktor vpliva | Izdaja | Kategorija | Razvrstitev | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Baze podatkov, v katerih je revija indeksirana
Ime baze podatkov | Področje | Leto |
---|
Povezave do osebnih bibliografij avtorjev | Povezave do podatkov o raziskovalcih v sistemu SICRIS |
---|
Izberite prevzemno mesto:
Prevzem gradiva po pošti
Obvestilo
Gesla v Splošnem geslovniku COBISS
Izbira mesta prevzema
Mesto prevzema | Status gradiva | Rezervacija |
---|
Prosimo, počakajte trenutek.