Model checking software

Dragan BoŠnaČki; Stefan Leue

Model checking software

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Model Checking Software - 9th International SPIN Workshop, Proceedings
Editors	Dragan Bosnacki, Stefan Leue
Publisher	Springer
ISBN (Print)	3540434771, 3540434771, 9783540434771, 9783540434771
Publication status	Published - 1 Jan 2002
Event	9th International SPIN Workshop, 2002 held in cooperation with European Joint Conferences on Theory and Practice of Software, ETAPS 2002 - Grenoble, France Duration: 11 Apr 2002 → 13 Apr 2002

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2318
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	9th International SPIN Workshop, 2002 held in cooperation with European Joint Conferences on Theory and Practice of Software, ETAPS 2002
Country/Territory	France
City	Grenoble
Period	11/04/02 → 13/04/02

Cite this

@inproceedings{f6ba589c101945229657602735eccfa3,

title = "Model checking software",

author = "Dragan Bo{\v S}na{\v C}ki and Stefan Leue",

year = "2002",

month = jan,

day = "1",

language = "English",

isbn = "3540434771",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

editor = "Dragan Bosnacki and Stefan Leue",

booktitle = "Model Checking Software - 9th International SPIN Workshop, Proceedings",

note = "9th International SPIN Workshop, 2002 held in cooperation with European Joint Conferences on Theory and Practice of Software, ETAPS 2002 ; Conference date: 11-04-2002 Through 13-04-2002",

}

BoŠnaČki, D & Leue, S 2002, Model checking software. in D Bosnacki & S Leue (eds), Model Checking Software - 9th International SPIN Workshop, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2318, Springer, 9th International SPIN Workshop, 2002 held in cooperation with European Joint Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, 11/04/02.

Model checking software. / BoŠnaČki, Dragan; Leue, Stefan.
Model Checking Software - 9th International SPIN Workshop, Proceedings. ed. / Dragan Bosnacki; Stefan Leue. Springer, 2002. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2318).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Model checking software

AU - BoŠnaČki, Dragan

AU - Leue, Stefan

PY - 2002/1/1

Y1 - 2002/1/1

UR - http://www.scopus.com/inward/record.url?scp=84957810549&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84957810549

SN - 3540434771

SN - 9783540434771

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

BT - Model Checking Software - 9th International SPIN Workshop, Proceedings

A2 - Bosnacki, Dragan

A2 - Leue, Stefan

PB - Springer

T2 - 9th International SPIN Workshop, 2002 held in cooperation with European Joint Conferences on Theory and Practice of Software, ETAPS 2002

Y2 - 11 April 2002 through 13 April 2002

ER -

Model checking software

Publication series

Conference

Other files and links

Cite this