Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Record Beta

SPIN 2012

https://id.confref.org/data/confident/34849

This record is part of the confref event International SPIN Symposium on Model Checking of Software.

rdf:typecf:Category_Event
schema:locationOxford (wd:Q34217)
rdfs:labelSPIN 2012
cf:Abstract_Deadline2012-03-26
cf:AcronymSPIN 2012
cf:CityOxford
cf:Countryhttps://id.confref.org/data/confident/31085
cf:Country_Missingfalse
cf:Creation_date2022-11-17T06:59:13
cf:Display_TitleSPIN 2012
cf:End_Date2012-07-24
cf:Event_Modeon site
cf:Event_Statusas scheduled
cf:Has_Metricfalse
cf:Has_subobjecthttps://id.confref.org/data/confident/34849/1f56ba12fe932760ffc8bdfb01202ccb
cf:Has_subobjecthttps://id.confref.org/data/confident/34849/3f9e055fab9113a6395d411e55e62d85
cf:Has_subobjecthttps://id.confref.org/data/confident/34849/57d5d1b6db8bc411a0ab5e2949c34287
cf:Has_subobjecthttps://id.confref.org/data/confident/34849/891e24789e242b562a228fa2876ff0bd
cf:In_Event_Serieshttps://id.confref.org/data/confident/34769
cf:Modification_date2022-11-17T06:59:13
cf:Month7
cf:Notification_Deadline2012-05-07
cf:Number_Of_Accepted_Papers20
cf:Official_Websitehttp://qav.cs.ox.ac.uk/spin2012/
cf:Ordinal19
cf:Organizer_Missingfalse
cf:Single_Day_Eventno
cf:Start_Date2012-07-23
cf:Start_Date_Missingfalse
cf:Submission_Deadline2012-03-26
cf:TitleInternational SPIN Symposium on Model Checking of Software
cf:VenueUniversity of Oxford, Department of Computer Science
cf:Year2012
cf:pagehttps://www.confident-conference.org/index.php/Event:Ff967b3b-84a6-4fd5-94ab-19ec5cbd372f
cf:pageTitleEvent:Ff967b3b-84a6-4fd5-94ab-19ec5cbd372f
cr:sameAshttps://dblp.org/db/conf/spin/spin2012

Data: Turtle · JSON-LD · N-Triples · RDF/XML

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.