Software model checking is a rich research field

Research output: Contribution to journal › Article › Scientific › peer-review

1 Citation (Scopus)

Translated title of the contribution	Software model checking is a rich research field
Original language	English
Pages (from-to)	1-11
Number of pages	11
Journal	International Journal on Software Tools for Technology Transfer
Volume	11
Issue number	1
DOIs	https://doi.org/10.1007/s10009-008-0089-7
Publication status	Published - 2009
Publication type	A1 Journal article-refereed

Publication forum classification

@article{72727acc278e4b968e8562878248e209,

title = "Software model checking is a rich research field",

author = "A. Valmari",

note = "Contribution: organisation=ohj,FACT1=1",

year = "2009",

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

language = "English",

volume = "11",

pages = "1--11",

journal = "International Journal on Software Tools for Technology Transfer",

issn = "1433-2779",

publisher = "Springer-Verlag",

number = "1",

}

TY - JOUR

T1 - Software model checking is a rich research field

AU - Valmari, A.

N1 - Contribution: organisation=ohj,FACT1=1

PY - 2009

Y1 - 2009

U2 - 10.1007/s10009-008-0089-7

DO - 10.1007/s10009-008-0089-7

M3 - Article

SN - 1433-2779

VL - 11

SP - 1

EP - 11

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

IS - 1

ER -