Matches in SemOpenAlex for { <https://semopenalex.org/work/W1995482011> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W1995482011 abstract "This volume contains the proceedings of Infinity'12, the 14th International Workshop on Verification of Infinite-State Systems, which was held in Paris, France on the 27th of August 2012 as a satellite event of FM'12. The aim of the INFINITY workshop is to provide a forum for researchers interested in the development of formal methods and algorithmic techniques for the analysis of systems with infinitely many states, and their application in automated verification of complex software and hardware systems." @default.
- W1995482011 created "2016-06-24" @default.
- W1995482011 creator A5047278328 @default.
- W1995482011 creator A5087431438 @default.
- W1995482011 date "2013-02-10" @default.
- W1995482011 modified "2023-10-16" @default.
- W1995482011 doi "https://doi.org/10.4204/eptcs.107" @default.
- W1995482011 hasPublicationYear "2013" @default.
- W1995482011 type Work @default.
- W1995482011 sameAs 1995482011 @default.
- W1995482011 citedByCount "0" @default.
- W1995482011 crossrefType "journal-issue" @default.
- W1995482011 hasAuthorship W1995482011A5047278328 @default.
- W1995482011 hasAuthorship W1995482011A5087431438 @default.
- W1995482011 hasBestOaLocation W19954820111 @default.
- W1995482011 hasConcept C115903868 @default.
- W1995482011 hasConcept C121332964 @default.
- W1995482011 hasConcept C134306372 @default.
- W1995482011 hasConcept C199360897 @default.
- W1995482011 hasConcept C2777904410 @default.
- W1995482011 hasConcept C2779662365 @default.
- W1995482011 hasConcept C33923547 @default.
- W1995482011 hasConcept C41008148 @default.
- W1995482011 hasConcept C62520636 @default.
- W1995482011 hasConcept C7321624 @default.
- W1995482011 hasConcept C75606506 @default.
- W1995482011 hasConceptScore W1995482011C115903868 @default.
- W1995482011 hasConceptScore W1995482011C121332964 @default.
- W1995482011 hasConceptScore W1995482011C134306372 @default.
- W1995482011 hasConceptScore W1995482011C199360897 @default.
- W1995482011 hasConceptScore W1995482011C2777904410 @default.
- W1995482011 hasConceptScore W1995482011C2779662365 @default.
- W1995482011 hasConceptScore W1995482011C33923547 @default.
- W1995482011 hasConceptScore W1995482011C41008148 @default.
- W1995482011 hasConceptScore W1995482011C62520636 @default.
- W1995482011 hasConceptScore W1995482011C7321624 @default.
- W1995482011 hasConceptScore W1995482011C75606506 @default.
- W1995482011 hasLocation W19954820111 @default.
- W1995482011 hasLocation W19954820112 @default.
- W1995482011 hasOpenAccess W1995482011 @default.
- W1995482011 hasPrimaryLocation W19954820111 @default.
- W1995482011 hasRelatedWork W2112973065 @default.
- W1995482011 hasRelatedWork W228809297 @default.
- W1995482011 hasRelatedWork W2356158875 @default.
- W1995482011 hasRelatedWork W2357007603 @default.
- W1995482011 hasRelatedWork W2369105145 @default.
- W1995482011 hasRelatedWork W2375382787 @default.
- W1995482011 hasRelatedWork W2554121427 @default.
- W1995482011 hasRelatedWork W2950654143 @default.
- W1995482011 hasRelatedWork W2954280381 @default.
- W1995482011 hasRelatedWork W4231909692 @default.
- W1995482011 hasVolume "107" @default.
- W1995482011 isParatext "false" @default.
- W1995482011 isRetracted "false" @default.
- W1995482011 magId "1995482011" @default.
- W1995482011 workType "paratext" @default.