skip to content
Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings Preview this item
ClosePreview this item
Checking...

Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings

Author: Alex Groce; Madanlal Musuvathi
Publisher: Heidelberg : Springer, 2011.
Series: Lecture notes in computer science, 6823.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:
This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011. The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on abstractions and state-space reductions;  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
Model Checking Software.
Springer-Verlag New York Inc 2011
(DLC) 2011930657
(OCoLC)733249744
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Alex Groce; Madanlal Musuvathi
ISBN: 9783642223068 3642223060
OCLC Number: 740506080
Description: 1 online resource (x, 193 pages) : illustrations.
Series Title: Lecture notes in computer science, 6823.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Other Titles: International SPIN Workshop
SPIN 2011
Responsibility: Alex Groce, Madanlal Musuvathi (eds.).

Abstract:

Constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011. This book features the papers that are  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/740506080> # Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
   library:oclcnum "740506080" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1056136699#Place/heidelberg> ; # Heidelberg
   schema:about <http://experiment.worldcat.org/entity/work/data/1056136699#CreativeWork/spin_computer_file> ; # SPIN (Computer file)
   schema:about <http://experiment.worldcat.org/entity/work/data/1056136699#Topic/informatique> ; # Informatique
   schema:about <http://id.worldcat.org/fast/872604> ; # Computer software--Verification
   schema:about <http://id.worldcat.org/fast/1387358> ; # SPIN (Computer file)
   schema:about <http://experiment.worldcat.org/entity/work/data/1056136699#Topic/computer_software_verification> ; # Computer software--Verification
   schema:about <http://dewey.info/class/005.14/e23/> ;
   schema:alternateName "SPIN 2011" ;
   schema:alternateName "International SPIN Workshop" ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/280592887> ; # Alex Groce
   schema:contributor <http://viaf.org/viaf/173120149> ; # Madanlal Musuvathi
   schema:creator <http://experiment.worldcat.org/entity/work/data/1056136699#Meeting/international_spin_workshop_18th_2011_snowbird_utah> ; # International SPIN Workshop (18th : 2011 : Snowbird, Utah)
   schema:datePublished "2011" ;
   schema:description "This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011. The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on abstractions and state-space reductions; search strategies; PROMELA encodings and extensions; and applications of model checking."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1056136699> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1056136699#Series/lncs_sublibrary> ; # LNCS sublibrary.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1056136699#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/733249744> ;
   schema:name "Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings"@en ;
   schema:productID "740506080" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/740506080#PublicationEvent/heidelberg_springer_2011> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1056136699#Agent/springer> ; # Springer
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3066946> ;
   schema:url <http://site.ebrary.com/id/10483951> ;
   schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/978-3-642-22306-8> ;
   schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-642-22305-1> ;
   schema:url <http://mutex.gmu.edu/login?url=http://dx.doi.org/10.1007/978-3-642-22306-8> ;
   schema:url <http://dx.doi.org/10.1007/978-3-642-22306-8> ;
   schema:workExample <http://worldcat.org/isbn/9783642223068> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/740506080> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1056136699#Meeting/international_spin_workshop_18th_2011_snowbird_utah> # International SPIN Workshop (18th : 2011 : Snowbird, Utah)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/1056136699#Place/snowbird_utah> ; # Snowbird, Utah)
   schema:name "International SPIN Workshop (18th : 2011 : Snowbird, Utah)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1056136699#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/740506080> ; # Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings
   schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/1056136699#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/740506080> ; # Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings
   schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

<http://id.worldcat.org/fast/1387358> # SPIN (Computer file)
    a schema:CreativeWork ;
   schema:name "SPIN (Computer file)" ;
    .

<http://id.worldcat.org/fast/872604> # Computer software--Verification
    a schema:Intangible ;
   schema:name "Computer software--Verification"@en ;
    .

<http://mutex.gmu.edu/login?url=http://dx.doi.org/10.1007/978-3-642-22306-8>
   rdfs:comment "Online resource available to Mason students, faculty, staff, and onsite patrons" ;
    .

<http://viaf.org/viaf/173120149> # Madanlal Musuvathi
    a schema:Person ;
   schema:familyName "Musuvathi" ;
   schema:givenName "Madanlal" ;
   schema:name "Madanlal Musuvathi" ;
    .

<http://viaf.org/viaf/280592887> # Alex Groce
    a schema:Person ;
   schema:familyName "Groce" ;
   schema:givenName "Alex" ;
   schema:name "Alex Groce" ;
    .

<http://worldcat.org/isbn/9783642223068>
    a schema:ProductModel ;
   schema:isbn "3642223060" ;
   schema:isbn "9783642223068" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/740506080> ; # Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/733249744>
    a schema:CreativeWork ;
   rdfs:label "Model Checking Software." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/740506080> ; # Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/740506080>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/740506080> ; # Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings
   schema:dateModified "2017-09-04" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.