A4 Article in conference proceedings
Modelling Without a Modelling Language (2018)


Valmari, A., & Lappalainen, V. (2018). Modelling Without a Modelling Language. In M. D. M. Gallardo, & P. Merino (Eds.), SPIN 2018 : Model Checking Software (pp. 308-327). Springer. Lecture Notes in Computer Science, 10869. https://doi.org/10.1007/978-3-319-94111-0_18


JYU authors or editors


Publication details

All authors or editors: Valmari, Antti; Lappalainen, Vesa

Parent publication: SPIN 2018 : Model Checking Software

Parent publication editors: Gallardo, María del Mar; Merino, Pedro

ISBN: 978-3-319-94110-3

Journal or series: Lecture Notes in Computer Science

ISSN: 0302-9743

eISSN: 1611-3349

Publication year: 2018

Number in series: 10869

Pages range: 308-327

Number of pages in the book: 347

Publisher: Springer

Place of Publication: Cham

Publication country: Switzerland

Publication language: English

DOI: https://doi.org/10.1007/978-3-319-94111-0_18

Publication open access: Not open

Publication channel open access:

Publication is parallel published (JYX): https://jyx.jyu.fi/handle/123456789/60094

Additional information: 25th International Symposium on Model Checking Software. Malaga, Spain, June 20-22, 2018.


Keywords: programming languages; C++ (programming language); modelling (creation related to information)

Free keywords: explicit state spaces; modelling languages; implementation issues


Contributing organizations


Ministry reporting: Yes

Reporting Year: 2018

JUFO rating: 1


Last updated on 2021-17-09 at 16:34