International Journal on Software Tools for Technology Transfer (STTT)

A. Valmari

Research output: Book/Report › Anthology › Scientific › peer-review

1 Citation (Scopus)

Translated title of the contribution	International Journal on Software Tools for Technology Transfer (STTT)
Original language	English
Publisher	Publisher Springer Berlin / Heidelberg
DOIs	https://doi.org/10.1007/s10009-008-0089-7
Publication status	Published - 2008
Publication type	C2 Edited book

Publication forum classification

@book{51bb2fffa2644600adc03e1dab5a9677,

title = "International Journal on Software Tools for Technology Transfer (STTT)",

author = "A. Valmari",

note = "Introduction: Software model checking is a rich research field (11 p.)<br/>Contribution: organisation=ohj,FACT1=1",

year = "2008",

doi = "10.1007/s10009-008-0089-7",

language = "English",

publisher = "Publisher Springer Berlin / Heidelberg",

}

TY - BOOK

T1 - International Journal on Software Tools for Technology Transfer (STTT)

AU - Valmari, A.

N1 - Introduction: Software model checking is a rich research field (11 p.)<br/>Contribution: organisation=ohj,FACT1=1

PY - 2008

Y1 - 2008

U2 - 10.1007/s10009-008-0089-7

DO - 10.1007/s10009-008-0089-7

M3 - Anthology

BT - International Journal on Software Tools for Technology Transfer (STTT)

PB - Publisher Springer Berlin / Heidelberg

ER -