Matches in SemOpenAlex for { <https://semopenalex.org/work/W1502392458> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1502392458 abstract "We consider the verification of linear temporal logic (LTL) properties of Petri nets, where the transitions can have both weak and strong fairness constraints. Allowing the transitions to have weak or strong fairness constraints simplifies the modeling of systems in many cases. We use the automata theoretic approach to model checking. To cope with the strong fairness constraints efficiently we employ Streett automata where appropriate. We present memory efficient algorithms for both the emptiness checking and counterexample generation problems for Streett automata." @default.
- W1502392458 created "2016-06-24" @default.
- W1502392458 creator A5050355269 @default.
- W1502392458 creator A5078732211 @default.
- W1502392458 date "2000-01-01" @default.
- W1502392458 modified "2023-09-25" @default.
- W1502392458 title "Coping With Strong Fairness" @default.
- W1502392458 cites W1487158608 @default.
- W1502392458 cites W1517566730 @default.
- W1502392458 cites W1548402307 @default.
- W1502392458 cites W1605593319 @default.
- W1502392458 cites W1607782211 @default.
- W1502392458 cites W167974170 @default.
- W1502392458 cites W1975657455 @default.
- W1502392458 cites W1990609140 @default.
- W1502392458 cites W2012935476 @default.
- W1502392458 cites W2090398333 @default.
- W1502392458 cites W2090731055 @default.
- W1502392458 cites W2118382442 @default.
- W1502392458 cites W2146706022 @default.
- W1502392458 cites W3126957415 @default.
- W1502392458 doi "https://doi.org/10.3233/fi-2000-43123409" @default.
- W1502392458 hasPublicationYear "2000" @default.
- W1502392458 type Work @default.
- W1502392458 sameAs 1502392458 @default.
- W1502392458 citedByCount "28" @default.
- W1502392458 countsByYear W15023924582012 @default.
- W1502392458 countsByYear W15023924582013 @default.
- W1502392458 countsByYear W15023924582015 @default.
- W1502392458 countsByYear W15023924582017 @default.
- W1502392458 countsByYear W15023924582018 @default.
- W1502392458 crossrefType "journal-article" @default.
- W1502392458 hasAuthorship W1502392458A5050355269 @default.
- W1502392458 hasAuthorship W1502392458A5078732211 @default.
- W1502392458 hasConcept C110251889 @default.
- W1502392458 hasConcept C112505250 @default.
- W1502392458 hasConcept C11413529 @default.
- W1502392458 hasConcept C118615104 @default.
- W1502392458 hasConcept C162838799 @default.
- W1502392458 hasConcept C165753454 @default.
- W1502392458 hasConcept C194525867 @default.
- W1502392458 hasConcept C25016198 @default.
- W1502392458 hasConcept C33923547 @default.
- W1502392458 hasConcept C38677869 @default.
- W1502392458 hasConcept C41008148 @default.
- W1502392458 hasConcept C4777664 @default.
- W1502392458 hasConcept C80444323 @default.
- W1502392458 hasConceptScore W1502392458C110251889 @default.
- W1502392458 hasConceptScore W1502392458C112505250 @default.
- W1502392458 hasConceptScore W1502392458C11413529 @default.
- W1502392458 hasConceptScore W1502392458C118615104 @default.
- W1502392458 hasConceptScore W1502392458C162838799 @default.
- W1502392458 hasConceptScore W1502392458C165753454 @default.
- W1502392458 hasConceptScore W1502392458C194525867 @default.
- W1502392458 hasConceptScore W1502392458C25016198 @default.
- W1502392458 hasConceptScore W1502392458C33923547 @default.
- W1502392458 hasConceptScore W1502392458C38677869 @default.
- W1502392458 hasConceptScore W1502392458C41008148 @default.
- W1502392458 hasConceptScore W1502392458C4777664 @default.
- W1502392458 hasConceptScore W1502392458C80444323 @default.
- W1502392458 hasLocation W15023924581 @default.
- W1502392458 hasOpenAccess W1502392458 @default.
- W1502392458 hasPrimaryLocation W15023924581 @default.
- W1502392458 hasRelatedWork W1489260687 @default.
- W1502392458 hasRelatedWork W1492929237 @default.
- W1502392458 hasRelatedWork W1512310098 @default.
- W1502392458 hasRelatedWork W1516806823 @default.
- W1502392458 hasRelatedWork W1517566730 @default.
- W1502392458 hasRelatedWork W1523885398 @default.
- W1502392458 hasRelatedWork W1544607874 @default.
- W1502392458 hasRelatedWork W1548402307 @default.
- W1502392458 hasRelatedWork W1556566737 @default.
- W1502392458 hasRelatedWork W1607782211 @default.
- W1502392458 hasRelatedWork W1975657455 @default.
- W1502392458 hasRelatedWork W1977553951 @default.
- W1502392458 hasRelatedWork W2012935476 @default.
- W1502392458 hasRelatedWork W2090398333 @default.
- W1502392458 hasRelatedWork W2099292968 @default.
- W1502392458 hasRelatedWork W2118382442 @default.
- W1502392458 hasRelatedWork W2146706022 @default.
- W1502392458 hasRelatedWork W2615040600 @default.
- W1502392458 hasRelatedWork W2913459036 @default.
- W1502392458 hasRelatedWork W2997245588 @default.
- W1502392458 isParatext "false" @default.
- W1502392458 isRetracted "false" @default.
- W1502392458 magId "1502392458" @default.
- W1502392458 workType "article" @default.