Matches in SemOpenAlex for { <https://semopenalex.org/work/W2103450111> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2103450111 endingPage "491" @default.
- W2103450111 startingPage "487" @default.
- W2103450111 abstract "We present a tool for modal transition systems (MTS), disjunctive MTS and further extensions of MTS supporting also non-deterministic systems. We provide the operations required from specification theories as well as some additional support such as deterministic hull, LTL model checking etc. The tool comes with both graphical and command line interface." @default.
- W2103450111 created "2016-06-24" @default.
- W2103450111 creator A5026672117 @default.
- W2103450111 creator A5074485601 @default.
- W2103450111 date "2013-01-01" @default.
- W2103450111 modified "2023-09-23" @default.
- W2103450111 title "MoTraS: A Tool for Modal Transition Systems and Their Extensions" @default.
- W2103450111 cites W143219598 @default.
- W2103450111 cites W1557653052 @default.
- W2103450111 cites W1587502808 @default.
- W2103450111 cites W1776738182 @default.
- W2103450111 cites W191732302 @default.
- W2103450111 cites W1959890433 @default.
- W2103450111 cites W2042983376 @default.
- W2103450111 cites W2060373204 @default.
- W2103450111 cites W2062964969 @default.
- W2103450111 cites W2099090794 @default.
- W2103450111 cites W2108128207 @default.
- W2103450111 cites W2120347988 @default.
- W2103450111 cites W2148106163 @default.
- W2103450111 cites W2276486526 @default.
- W2103450111 cites W3044961859 @default.
- W2103450111 doi "https://doi.org/10.1007/978-3-319-02444-8_41" @default.
- W2103450111 hasPublicationYear "2013" @default.
- W2103450111 type Work @default.
- W2103450111 sameAs 2103450111 @default.
- W2103450111 citedByCount "5" @default.
- W2103450111 countsByYear W21034501112015 @default.
- W2103450111 countsByYear W21034501112016 @default.
- W2103450111 countsByYear W21034501112017 @default.
- W2103450111 countsByYear W21034501112018 @default.
- W2103450111 crossrefType "book-chapter" @default.
- W2103450111 hasAuthorship W2103450111A5026672117 @default.
- W2103450111 hasAuthorship W2103450111A5074485601 @default.
- W2103450111 hasConcept C104317684 @default.
- W2103450111 hasConcept C111919701 @default.
- W2103450111 hasConcept C113843644 @default.
- W2103450111 hasConcept C127413603 @default.
- W2103450111 hasConcept C129307140 @default.
- W2103450111 hasConcept C157915830 @default.
- W2103450111 hasConcept C185592680 @default.
- W2103450111 hasConcept C188027245 @default.
- W2103450111 hasConcept C194232998 @default.
- W2103450111 hasConcept C199104240 @default.
- W2103450111 hasConcept C199360897 @default.
- W2103450111 hasConcept C27508121 @default.
- W2103450111 hasConcept C2779167558 @default.
- W2103450111 hasConcept C37423430 @default.
- W2103450111 hasConcept C37789001 @default.
- W2103450111 hasConcept C41008148 @default.
- W2103450111 hasConcept C55493867 @default.
- W2103450111 hasConcept C71139939 @default.
- W2103450111 hasConcept C80444323 @default.
- W2103450111 hasConceptScore W2103450111C104317684 @default.
- W2103450111 hasConceptScore W2103450111C111919701 @default.
- W2103450111 hasConceptScore W2103450111C113843644 @default.
- W2103450111 hasConceptScore W2103450111C127413603 @default.
- W2103450111 hasConceptScore W2103450111C129307140 @default.
- W2103450111 hasConceptScore W2103450111C157915830 @default.
- W2103450111 hasConceptScore W2103450111C185592680 @default.
- W2103450111 hasConceptScore W2103450111C188027245 @default.
- W2103450111 hasConceptScore W2103450111C194232998 @default.
- W2103450111 hasConceptScore W2103450111C199104240 @default.
- W2103450111 hasConceptScore W2103450111C199360897 @default.
- W2103450111 hasConceptScore W2103450111C27508121 @default.
- W2103450111 hasConceptScore W2103450111C2779167558 @default.
- W2103450111 hasConceptScore W2103450111C37423430 @default.
- W2103450111 hasConceptScore W2103450111C37789001 @default.
- W2103450111 hasConceptScore W2103450111C41008148 @default.
- W2103450111 hasConceptScore W2103450111C55493867 @default.
- W2103450111 hasConceptScore W2103450111C71139939 @default.
- W2103450111 hasConceptScore W2103450111C80444323 @default.
- W2103450111 hasLocation W21034501111 @default.
- W2103450111 hasOpenAccess W2103450111 @default.
- W2103450111 hasPrimaryLocation W21034501111 @default.
- W2103450111 hasRelatedWork W2005263036 @default.
- W2103450111 hasRelatedWork W2062964969 @default.
- W2103450111 hasRelatedWork W2112962394 @default.
- W2103450111 hasRelatedWork W2118300983 @default.
- W2103450111 hasRelatedWork W2162646905 @default.
- W2103450111 hasRelatedWork W2385186239 @default.
- W2103450111 hasRelatedWork W2561223614 @default.
- W2103450111 hasRelatedWork W3137189469 @default.
- W2103450111 hasRelatedWork W4243252198 @default.
- W2103450111 hasRelatedWork W3020858078 @default.
- W2103450111 isParatext "false" @default.
- W2103450111 isRetracted "false" @default.
- W2103450111 magId "2103450111" @default.
- W2103450111 workType "book-chapter" @default.