DC Field | Value | Language |
---|---|---|
dc.contributor.author | Shilov N.V. | - |
dc.contributor.author | Yi K. | - |
dc.date.accessioned | 2013-03-16T12:32:22Z | - |
dc.date.available | 2013-03-16T12:32:22Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 2000 | - |
dc.identifier.citation | Formal Methods Elsewhere (a Satellite Workshop of FORTE-PSTV-2000 Devoted to Applications of Formal Methods to Areas other than Communication, v.43, no., pp.37 - 52 | - |
dc.identifier.issn | 1571-0661 | - |
dc.identifier.uri | http://hdl.handle.net/10203/131311 | - |
dc.language | ENG | - |
dc.title | Puzzles for learning model checking, model checking for programming puzzles, puzzles for testing model checkers | - |
dc.type | Conference | - |
dc.identifier.scopusid | 2-s2.0-18944387441 | - |
dc.type.rims | CONF | - |
dc.citation.volume | 43 | - |
dc.citation.beginningpage | 37 | - |
dc.citation.endingpage | 52 | - |
dc.citation.publicationname | Formal Methods Elsewhere (a Satellite Workshop of FORTE-PSTV-2000 Devoted to Applications of Formal Methods to Areas other than Communication | - |
dc.identifier.conferencecountry | Italy | - |
dc.identifier.conferencecountry | Italy | - |
dc.contributor.localauthor | Yi K. | - |
dc.contributor.nonIdAuthor | Shilov N.V. | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.