Matches in SemOpenAlex for { <https://semopenalex.org/work/W2595185087> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2595185087 endingPage "90" @default.
- W2595185087 startingPage "55" @default.
- W2595185087 abstract "review-article Share on Automatic Synthesis of Distributed Protocols Authors: Rajeev Alur University of Pennsylvania, Philadelphia, PA University of Pennsylvania, Philadelphia, PAView Profile , Stavros Tripakis Aalto University and University of California, Berkeley Aalto University and University of California, BerkeleyView Profile Authors Info & Claims ACM SIGACT NewsVolume 48Issue 1March 2017 pp 55–90https://doi.org/10.1145/3061640.3061652Published:10 March 2017Publication History 21citation215DownloadsMetricsTotal Citations21Total Downloads215Last 12 Months24Last 6 weeks2 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access" @default.
- W2595185087 created "2017-03-23" @default.
- W2595185087 creator A5065059795 @default.
- W2595185087 creator A5080042319 @default.
- W2595185087 date "2017-03-10" @default.
- W2595185087 modified "2023-10-16" @default.
- W2595185087 title "Automatic Synthesis of Distributed Protocols" @default.
- W2595185087 cites W1502017016 @default.
- W2595185087 cites W1559716552 @default.
- W2595185087 cites W1585803290 @default.
- W2595185087 cites W1610504283 @default.
- W2595185087 cites W1783469492 @default.
- W2595185087 cites W1796678419 @default.
- W2595185087 cites W1900583228 @default.
- W2595185087 cites W1970092510 @default.
- W2595185087 cites W1979349468 @default.
- W2595185087 cites W2001289891 @default.
- W2595185087 cites W2016206563 @default.
- W2595185087 cites W2041152728 @default.
- W2595185087 cites W2053991631 @default.
- W2595185087 cites W2059057465 @default.
- W2595185087 cites W2074119802 @default.
- W2595185087 cites W2091158003 @default.
- W2595185087 cites W2094878426 @default.
- W2595185087 cites W2095473904 @default.
- W2595185087 cites W2101508170 @default.
- W2595185087 cites W2122620434 @default.
- W2595185087 cites W2137351629 @default.
- W2595185087 cites W2147999468 @default.
- W2595185087 cites W2150052960 @default.
- W2595185087 cites W2150447589 @default.
- W2595185087 cites W2157364367 @default.
- W2595185087 cites W2161159055 @default.
- W2595185087 cites W2163080024 @default.
- W2595185087 cites W2171110406 @default.
- W2595185087 cites W2239495252 @default.
- W2595185087 cites W224659930 @default.
- W2595185087 cites W2293287097 @default.
- W2595185087 cites W2293400264 @default.
- W2595185087 cites W2297081251 @default.
- W2595185087 cites W2911462334 @default.
- W2595185087 cites W2912904668 @default.
- W2595185087 cites W3100217861 @default.
- W2595185087 cites W3192343331 @default.
- W2595185087 cites W4241616303 @default.
- W2595185087 cites W4245234767 @default.
- W2595185087 cites W99048994 @default.
- W2595185087 doi "https://doi.org/10.1145/3061640.3061652" @default.
- W2595185087 hasPublicationYear "2017" @default.
- W2595185087 type Work @default.
- W2595185087 sameAs 2595185087 @default.
- W2595185087 citedByCount "22" @default.
- W2595185087 countsByYear W25951850872018 @default.
- W2595185087 countsByYear W25951850872019 @default.
- W2595185087 countsByYear W25951850872020 @default.
- W2595185087 countsByYear W25951850872021 @default.
- W2595185087 countsByYear W25951850872022 @default.
- W2595185087 countsByYear W25951850872023 @default.
- W2595185087 crossrefType "journal-article" @default.
- W2595185087 hasAuthorship W2595185087A5065059795 @default.
- W2595185087 hasAuthorship W2595185087A5080042319 @default.
- W2595185087 hasConcept C136764020 @default.
- W2595185087 hasConcept C161191863 @default.
- W2595185087 hasConcept C2778805511 @default.
- W2595185087 hasConcept C41008148 @default.
- W2595185087 hasConceptScore W2595185087C136764020 @default.
- W2595185087 hasConceptScore W2595185087C161191863 @default.
- W2595185087 hasConceptScore W2595185087C2778805511 @default.
- W2595185087 hasConceptScore W2595185087C41008148 @default.
- W2595185087 hasIssue "1" @default.
- W2595185087 hasLocation W25951850871 @default.
- W2595185087 hasOpenAccess W2595185087 @default.
- W2595185087 hasPrimaryLocation W25951850871 @default.
- W2595185087 hasRelatedWork W1507112395 @default.
- W2595185087 hasRelatedWork W1585501219 @default.
- W2595185087 hasRelatedWork W2087861504 @default.
- W2595185087 hasRelatedWork W2182399872 @default.
- W2595185087 hasRelatedWork W2351790455 @default.
- W2595185087 hasRelatedWork W2559452788 @default.
- W2595185087 hasRelatedWork W2570974996 @default.
- W2595185087 hasRelatedWork W2748952813 @default.
- W2595185087 hasRelatedWork W2752793062 @default.
- W2595185087 hasRelatedWork W3013145539 @default.
- W2595185087 hasVolume "48" @default.
- W2595185087 isParatext "false" @default.
- W2595185087 isRetracted "false" @default.
- W2595185087 magId "2595185087" @default.
- W2595185087 workType "article" @default.