Matches in SemOpenAlex for { <https://semopenalex.org/work/W1592879244> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1592879244 endingPage "73" @default.
- W1592879244 startingPage "58" @default.
- W1592879244 created "2016-06-24" @default.
- W1592879244 creator A5017926092 @default.
- W1592879244 creator A5039614631 @default.
- W1592879244 date "2011-01-01" @default.
- W1592879244 modified "2023-09-26" @default.
- W1592879244 title "Verification of PLC Properties Based on Formal Semantics in Coq" @default.
- W1592879244 cites W1541947827 @default.
- W1592879244 cites W2016114133 @default.
- W1592879244 cites W2061535430 @default.
- W1592879244 cites W2077662814 @default.
- W1592879244 cites W2088508682 @default.
- W1592879244 cites W2108293888 @default.
- W1592879244 cites W2112712081 @default.
- W1592879244 cites W2126443039 @default.
- W1592879244 cites W2134997348 @default.
- W1592879244 cites W2148662736 @default.
- W1592879244 cites W2151150043 @default.
- W1592879244 cites W2285046923 @default.
- W1592879244 cites W36372577 @default.
- W1592879244 doi "https://doi.org/10.1007/978-3-642-24690-6_6" @default.
- W1592879244 hasPublicationYear "2011" @default.
- W1592879244 type Work @default.
- W1592879244 sameAs 1592879244 @default.
- W1592879244 citedByCount "19" @default.
- W1592879244 countsByYear W15928792442013 @default.
- W1592879244 countsByYear W15928792442014 @default.
- W1592879244 countsByYear W15928792442015 @default.
- W1592879244 countsByYear W15928792442016 @default.
- W1592879244 countsByYear W15928792442017 @default.
- W1592879244 countsByYear W15928792442018 @default.
- W1592879244 countsByYear W15928792442019 @default.
- W1592879244 countsByYear W15928792442020 @default.
- W1592879244 countsByYear W15928792442021 @default.
- W1592879244 crossrefType "book-chapter" @default.
- W1592879244 hasAuthorship W1592879244A5017926092 @default.
- W1592879244 hasAuthorship W1592879244A5039614631 @default.
- W1592879244 hasConcept C111919701 @default.
- W1592879244 hasConcept C115901376 @default.
- W1592879244 hasConcept C127413603 @default.
- W1592879244 hasConcept C134306372 @default.
- W1592879244 hasConcept C146499914 @default.
- W1592879244 hasConcept C160191386 @default.
- W1592879244 hasConcept C184337299 @default.
- W1592879244 hasConcept C199360897 @default.
- W1592879244 hasConcept C33923547 @default.
- W1592879244 hasConcept C36503486 @default.
- W1592879244 hasConcept C37374048 @default.
- W1592879244 hasConcept C41008148 @default.
- W1592879244 hasConcept C78519656 @default.
- W1592879244 hasConceptScore W1592879244C111919701 @default.
- W1592879244 hasConceptScore W1592879244C115901376 @default.
- W1592879244 hasConceptScore W1592879244C127413603 @default.
- W1592879244 hasConceptScore W1592879244C134306372 @default.
- W1592879244 hasConceptScore W1592879244C146499914 @default.
- W1592879244 hasConceptScore W1592879244C160191386 @default.
- W1592879244 hasConceptScore W1592879244C184337299 @default.
- W1592879244 hasConceptScore W1592879244C199360897 @default.
- W1592879244 hasConceptScore W1592879244C33923547 @default.
- W1592879244 hasConceptScore W1592879244C36503486 @default.
- W1592879244 hasConceptScore W1592879244C37374048 @default.
- W1592879244 hasConceptScore W1592879244C41008148 @default.
- W1592879244 hasConceptScore W1592879244C78519656 @default.
- W1592879244 hasLocation W15928792441 @default.
- W1592879244 hasOpenAccess W1592879244 @default.
- W1592879244 hasPrimaryLocation W15928792441 @default.
- W1592879244 hasRelatedWork W1519033351 @default.
- W1592879244 hasRelatedWork W1587224678 @default.
- W1592879244 hasRelatedWork W1592879244 @default.
- W1592879244 hasRelatedWork W1855927527 @default.
- W1592879244 hasRelatedWork W2047793074 @default.
- W1592879244 hasRelatedWork W2090686886 @default.
- W1592879244 hasRelatedWork W2109507516 @default.
- W1592879244 hasRelatedWork W2126443039 @default.
- W1592879244 hasRelatedWork W2362341649 @default.
- W1592879244 hasRelatedWork W4251805752 @default.
- W1592879244 isParatext "false" @default.
- W1592879244 isRetracted "false" @default.
- W1592879244 magId "1592879244" @default.
- W1592879244 workType "book-chapter" @default.