skip to content
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction Preview this item
ClosePreview this item
Checking...

Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction

Author: Michael Balser
Publisher: [2006]
Edition/Format:   Computer file : EnglishView all editions and formats
Database:WorldCat
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

Material Type: Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Michael Balser
OCLC Number: 162316141
Notes: Augsburg, Univ., Diss., 2005.
Responsibility: Michael Balser.

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/162316141> # Verifying concurrent systems with symbolic execution temporal reasoning is symbolic execution with a little induction
    a bgn:ComputerFile, schema:CreativeWork ;
   library:oclcnum "162316141" ;
   schema:about <http://dewey.info/class/005.275015113/e22/ger/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/287867651#Thing/nebenlaufigkeit> ; # Nebenläufigkeit
   schema:about <http://experiment.worldcat.org/entity/work/data/287867651#Topic/temporales_schliessen> ; # Temporales Schließen
   schema:about <http://experiment.worldcat.org/entity/work/data/287867651#Topic/verifikation> ; # Verifikation
   schema:about <http://experiment.worldcat.org/entity/work/data/287867651#Topic/induktion> ; # Induktion
   schema:about <http://experiment.worldcat.org/entity/work/data/287867651#Topic/model_checking> ; # Model Checking
   schema:about <http://experiment.worldcat.org/entity/work/data/287867651#Topic/nebenlaufigkeit> ; # Nebenläufigkeit
   schema:about <http://experiment.worldcat.org/entity/work/data/287867651#Topic/prozessalgebra> ; # Prozessalgebra
   schema:contributor <http://experiment.worldcat.org/entity/work/data/287867651#Person/balser_michael> ; # Michael Balser
   schema:datePublished "2006" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/287867651> ;
   schema:inLanguage "en" ;
   schema:name "Verifying concurrent systems with symbolic execution temporal reasoning is symbolic execution with a little induction" ;
   schema:productID "162316141" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/162316141#PublicationEvent/2006> ;
   schema:url <http://www.opus-bayern.de/uni-augsburg/volltexte/2006/226/> ;
   schema:url <urn:nbn:de:bvb:384-opus-2263> ;
   umbel:isLike <http://d-nb.info/980393825> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/162316141> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/287867651#Person/balser_michael> # Michael Balser
    a schema:Person ;
   schema:familyName "Balser" ;
   schema:givenName "Michael" ;
   schema:name "Michael Balser" ;
    .

<http://experiment.worldcat.org/entity/work/data/287867651#Thing/nebenlaufigkeit> # Nebenläufigkeit
    a schema:Thing ;
   schema:name "Nebenläufigkeit" ;
    .

<http://experiment.worldcat.org/entity/work/data/287867651#Topic/temporales_schliessen> # Temporales Schließen
    a schema:Intangible ;
   schema:name "Temporales Schließen" ;
    .

<http://www.worldcat.org/title/-/oclc/162316141>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/162316141> ; # Verifying concurrent systems with symbolic execution temporal reasoning is symbolic execution with a little induction
   schema:dateModified "2017-09-02" ;
   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.