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

Record Beta

SPIN 2017

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

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

rdf:typecf:Category_Event
schema:locationSanta Barbara (wd:Q159288)
rdfs:labelSPIN 2017
cf:AcronymSPIN 2017
cf:Camera-Ready_Deadline2017-05-20
cf:CityUS/CA/Santa Barbara
cf:Countryhttps://id.confref.org/data/confident/31086
cf:Country_Missingfalse
cf:Creation_date2022-11-18T08:25:31
cf:Display_TitleSPIN 2017
cf:End_Date2017-07-14
cf:Event_Modeon site
cf:Event_Statusas scheduled
cf:Has_Metricfalse
cf:Has_subobjecthttps://id.confref.org/data/confident/34870/90614477fe866a06404baa93cd44b50c
cf:Has_subobjecthttps://id.confref.org/data/confident/34870/e351730826a1150d3867cf999d13e84a
cf:Has_subobjecthttps://id.confref.org/data/confident/34870/ebf780646b8d63baa8fcc8759c20cd6c
cf:In_Event_Serieshttps://id.confref.org/data/confident/34769
cf:Modification_date2022-11-18T08:25:31
cf:Month7
cf:Official_Websitehttps://conf.researchr.org/home/spin-2017
cf:Ordinal24
cf:Organizer_Missingfalse
cf:RegionUS/CA
cf:Single_Day_Eventno
cf:Start_Date2017-07-10
cf:Start_Date_Missingfalse
cf:Submission_Deadline2017-02-17
cf:Submission_Linkhttps://easychair.org/conferences/?conf=spin2017
cf:TitleInternational SPIN Symposium on Model Checking of Software
cf:VenueUniversity of California, Santa Barbara
cf:Year2017
cf:pagehttps://www.confident-conference.org/index.php/Event:9d4a0835-3bca-4985-bec1-db44ca41722f
cf:pageTitleEvent:9d4a0835-3bca-4985-bec1-db44ca41722f
cr:sameAshttps://dblp.org/db/conf/spin/spin2017

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

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