{"doi":"10.1007/s100090050031","title":"Local model checking and protocol analysis","abstract":null,"journal":"International Journal on Software Tools for Technology Transfer (STTT)","year":1999,"id":624134,"datarank":0.44166584687496613,"base_score":2.9444389791664403,"endowment":2.9444389791664403,"self_citation_contribution":0.44166584687496613,"citation_network_contribution":0.0,"self_endowment_contribution":0.44166584687496613,"citer_contribution":0.0,"corpus_percentile":null,"corpus_rank":null,"citation_count":18,"citer_count":0,"citers_with_citation_signal":0,"citers_with_endowment":0,"datacite_reuse_total":0,"is_dataset":false,"is_dataset_confidence":null,"is_data_producer":false,"deposit_databanks":null,"is_oa":false,"file_count":0,"downloads":0,"has_version_chain":false,"published_date":null,"fair_score":null,"fair_percentile":null,"algorithm_id":"datarank_citation_only_1hop_v6","ranking_scope":"data_only","authors":[{"id":815571,"name":"Scott A. Smolka","orcid":"0000-0002-7348-630X","position":1,"is_corresponding":false},{"id":1613282,"name":"Rance Cleaveland","orcid":null,"position":2,"is_corresponding":false},{"id":1613281,"name":"Xiaoqun Du","orcid":null,"position":0,"is_corresponding":false}],"reference_count":0,"raw_metadata":{"has_enrichment":true,"resolved":true,"title":"Local model checking and protocol analysis","abstract":"zbMATH Open Web Interface contents unavailable due to conflicting licenses.","is_dataset_classified":null,"base_score":2.9444389791664403,"endowment":2.9444389791664403,"datacite_reuse_total":0,"file_count":0,"downloads":0,"views":0,"has_version_chain":false,"is_dataset":false,"is_oa":false,"pmid":"19910364","pmcid":null,"openalex_id":"https://openalex.org/W2013208178","authors":[],"funders":[{"funder_name":"National Science Foundation","grant_id":"9705998","title":"LMC: A System for the Specification and Evaluation of Logic-Based Model Checking"},{"funder_name":"National Science Foundation","grant_id":"9505562","title":"Practical Techniques for the Design, Specification, Verification, and Implementation of Concurrent Systems"}],"total_grants":2,"fwci":2.3313,"citation_percentile":0.87697648,"influential_citations":0,"citation_trend":[{"year":2012,"count":2},{"year":2013,"count":1},{"year":2015,"count":1},{"year":2024,"count":1}],"oa_status":"closed","license":"Springer TDM","oa_locations":[{"url":"http://link.springer.com/content/pdf/10.1007/s100090050031.pdf","host_type":"publisher"},{"url":"http://link.springer.com/article/10.1007/s100090050031/fulltext.html","host_type":"publisher"},{"url":"http://link.springer.com/content/pdf/10.1007/s100090050031","host_type":"publisher"},{"url":"https://doi.org/10.1007/s100090050031","host_type":"journal"},{"url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.7380","host_type":""},{"url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.7232","host_type":""},{"url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.7600","host_type":""},{"url":"https://zbmath.org/1862281","host_type":""},{"url":"https://dx.doi.org/10.1007/s100090050031","host_type":""}],"fields_of_study":["Formal Methods in Verification","Software Testing and Debugging Techniques","Synthetic Organic Chemistry Methods","0202 electrical engineering, electronic engineering, information engineering","02 engineering and technology","0102 computer and information sciences","01 natural sciences"],"mesh_terms":[],"keywords":["Computer science","Theory of computation","Model checking","Protocol (science)","Programming language","Theoretical computer science","Specification and verification (program logics, model checking, etc.)","protocol verification","real-time","modal mu-calculus","state explosion"],"sdg_mappings":[],"linked_datasets":[],"clinical_trials":[],"software_tools":[],"database_accessions":[],"source":"live","citation_network_status":"fetched"},"created_at":"2026-08-04T02:48:43.187891Z","pmid":null,"pmcid":null,"fwci":null,"citation_percentile":null,"influential_citations":0,"oa_status":null,"license":null,"views":0,"total_file_size_bytes":0,"version_count":0,"fair_f":null,"fair_a":null,"fair_i":null,"fair_r":null,"fair_zscore":null,"fair_rationale":null,"fair_model":null,"fair_agent_version":null,"fair_fulltext_source":null,"fair_has_llm":null,"fair_computed_at":null,"clinical_trials":[],"software_tools":[],"db_accessions":[],"linked_datasets":[],"topics":[]}