{"id":"https://openalex.org/W2739324783","doi":"https://doi.org/10.1007/978-3-319-63121-9_3","title":"30 Years of Modal Transition Systems: Survey of Extensions and Analysis","display_name":"30 Years of Modal Transition Systems: Survey of Extensions and Analysis","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2739324783","doi":"https://doi.org/10.1007/978-3-319-63121-9_3","mag":"2739324783"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-63121-9_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-63121-9_3","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5074485601","display_name":"Jan K\u0159et\u00ednsk\u00fd","orcid":"https://orcid.org/0000-0002-8122-2881"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Jan K\u0159et\u00ednsk\u00fd","raw_affiliation_strings":["Technical University of Munich, Munich, Germany"],"affiliations":[{"raw_affiliation_string":"Technical University of Munich, Munich, Germany","institution_ids":["https://openalex.org/I62916508"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5074485601"],"corresponding_institution_ids":["https://openalex.org/I62916508"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":5.34,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.96166255,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"36","last_page":"74"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.7063902616500854},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.6537029147148132},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6062749028205872},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4393799304962158},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43733322620391846},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.43083733320236206},{"id":"https://openalex.org/keywords/cover","display_name":"Cover (algebra)","score":0.42403650283813477},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.166517972946167},{"id":"https://openalex.org/keywords/mechanical-engineering","display_name":"Mechanical engineering","score":0.06613996624946594}],"concepts":[{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.7063902616500854},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.6537029147148132},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6062749028205872},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4393799304962158},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43733322620391846},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.43083733320236206},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.42403650283813477},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.166517972946167},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.06613996624946594},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-319-63121-9_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-63121-9_3","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":183,"referenced_works":["https://openalex.org/W4125734","https://openalex.org/W5032134","https://openalex.org/W79913995","https://openalex.org/W81298477","https://openalex.org/W84675887","https://openalex.org/W91512407","https://openalex.org/W141312837","https://openalex.org/W143219598","https://openalex.org/W143337359","https://openalex.org/W148863789","https://openalex.org/W167034675","https://openalex.org/W190322477","https://openalex.org/W191732302","https://openalex.org/W195051630","https://openalex.org/W260642817","https://openalex.org/W282187060","https://openalex.org/W968733558","https://openalex.org/W1266841435","https://openalex.org/W1425554677","https://openalex.org/W1431947976","https://openalex.org/W1480983276","https://openalex.org/W1481843134","https://openalex.org/W1487227309","https://openalex.org/W1493471623","https://openalex.org/W1496614596","https://openalex.org/W1497573972","https://openalex.org/W1498433537","https://openalex.org/W1499684449","https://openalex.org/W1499937701","https://openalex.org/W1503316778","https://openalex.org/W1505636692","https://openalex.org/W1507173517","https://openalex.org/W1511591349","https://openalex.org/W1524032315","https://openalex.org/W1527925700","https://openalex.org/W1532760414","https://openalex.org/W1549035077","https://openalex.org/W1555593767","https://openalex.org/W1557653052","https://openalex.org/W1559445291","https://openalex.org/W1564626116","https://openalex.org/W1569998753","https://openalex.org/W1574504537","https://openalex.org/W1584114856","https://openalex.org/W1587502808","https://openalex.org/W1588427998","https://openalex.org/W1588557629","https://openalex.org/W1590315663","https://openalex.org/W1592656068","https://openalex.org/W1593428110","https://openalex.org/W1594368577","https://openalex.org/W1606443439","https://openalex.org/W1608677350","https://openalex.org/W1619000467","https://openalex.org/W1667182944","https://openalex.org/W1670096772","https://openalex.org/W1776738182","https://openalex.org/W1788643058","https://openalex.org/W1796678419","https://openalex.org/W1859153827","https://openalex.org/W1865562238","https://openalex.org/W1879975909","https://openalex.org/W1880384270","https://openalex.org/W1890744503","https://openalex.org/W1910257044","https://openalex.org/W1924007886","https://openalex.org/W1959890433","https://openalex.org/W1963951244","https://openalex.org/W1965077165","https://openalex.org/W1966634263","https://openalex.org/W1973154247","https://openalex.org/W1973388684","https://openalex.org/W1974141623","https://openalex.org/W1978279510","https://openalex.org/W1987070417","https://openalex.org/W1992948487","https://openalex.org/W1996307212","https://openalex.org/W1998422337","https://openalex.org/W2002791428","https://openalex.org/W2003908699","https://openalex.org/W2006265470","https://openalex.org/W2015640848","https://openalex.org/W2016206563","https://openalex.org/W2016228303","https://openalex.org/W2021472259","https://openalex.org/W2021473546","https://openalex.org/W2023808162","https://openalex.org/W2026629052","https://openalex.org/W2029263782","https://openalex.org/W2032848199","https://openalex.org/W2034102118","https://openalex.org/W2034111423","https://openalex.org/W2037776515","https://openalex.org/W2039646283","https://openalex.org/W2042983376","https://openalex.org/W2054443256","https://openalex.org/W2055557279","https://openalex.org/W2058885253","https://openalex.org/W2060373204","https://openalex.org/W2061816895","https://openalex.org/W2062964969","https://openalex.org/W2063887524","https://openalex.org/W2068361557","https://openalex.org/W2069228270","https://openalex.org/W2079680418","https://openalex.org/W2083547263","https://openalex.org/W2086817638","https://openalex.org/W2088383763","https://openalex.org/W2090106217","https://openalex.org/W2090855131","https://openalex.org/W2096787192","https://openalex.org/W2098682681","https://openalex.org/W2099090794","https://openalex.org/W2100326215","https://openalex.org/W2103450111","https://openalex.org/W2104224153","https://openalex.org/W2104889737","https://openalex.org/W2107209406","https://openalex.org/W2107537653","https://openalex.org/W2107949109","https://openalex.org/W2108128207","https://openalex.org/W2109233982","https://openalex.org/W2112659222","https://openalex.org/W2113686430","https://openalex.org/W2115698108","https://openalex.org/W2117519330","https://openalex.org/W2120347988","https://openalex.org/W2120514221","https://openalex.org/W2125500714","https://openalex.org/W2132324105","https://openalex.org/W2133069919","https://openalex.org/W2133724574","https://openalex.org/W2133959263","https://openalex.org/W2134875273","https://openalex.org/W2134908243","https://openalex.org/W2137477742","https://openalex.org/W2148106163","https://openalex.org/W2149480831","https://openalex.org/W2151274864","https://openalex.org/W2157239333","https://openalex.org/W2162646905","https://openalex.org/W2164253200","https://openalex.org/W2175343722","https://openalex.org/W2184206515","https://openalex.org/W2216917645","https://openalex.org/W2219042429","https://openalex.org/W2259337172","https://openalex.org/W2276486526","https://openalex.org/W2293287097","https://openalex.org/W2294151540","https://openalex.org/W2294826973","https://openalex.org/W2322106565","https://openalex.org/W2442527218","https://openalex.org/W2479369740","https://openalex.org/W2484855330","https://openalex.org/W2493922253","https://openalex.org/W2496196621","https://openalex.org/W2504031705","https://openalex.org/W2523195045","https://openalex.org/W2527125025","https://openalex.org/W2529174781","https://openalex.org/W2561829717","https://openalex.org/W2568159515","https://openalex.org/W2573846983","https://openalex.org/W2743034479","https://openalex.org/W2782349543","https://openalex.org/W2792346428","https://openalex.org/W2914011863","https://openalex.org/W2951788427","https://openalex.org/W3098142667","https://openalex.org/W3101052052","https://openalex.org/W3103557858","https://openalex.org/W3105159463","https://openalex.org/W3137368705","https://openalex.org/W3140077008","https://openalex.org/W3148588266","https://openalex.org/W3151295160","https://openalex.org/W3151419803","https://openalex.org/W4230531028","https://openalex.org/W4236251966","https://openalex.org/W4237131304","https://openalex.org/W4285719527","https://openalex.org/W4300523198"],"related_works":["https://openalex.org/W1592656068","https://openalex.org/W2123710103","https://openalex.org/W2129254290","https://openalex.org/W1503071078","https://openalex.org/W1517483046","https://openalex.org/W2912055616","https://openalex.org/W137456412","https://openalex.org/W2151274864","https://openalex.org/W2112997772","https://openalex.org/W2005263036"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":4},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}