Matches in SemOpenAlex for { <https://semopenalex.org/work/W2003536397> ?p ?o ?g. }
Showing items 1 to 46 of
46
with 100 items per page.
- W2003536397 abstract "Article Free Access Share on The experimental Estelle Compiler: automatic generation of implementations from formal specifications Authors: Joachim Thees University of Kaiserslautern, Postfach 3049, D-67653 Kaiserslautern, Germany University of Kaiserslautern, Postfach 3049, D-67653 Kaiserslautern, GermanyView Profile , Reinhard Gotzhein University of Kaiserslautern, Postfach 3049, D-67653 Kaiserslautern, Germany University of Kaiserslautern, Postfach 3049, D-67653 Kaiserslautern, GermanyView Profile Authors Info & Claims FMSP '98: Proceedings of the second workshop on Formal methods in software practiceMarch 1998 Pages 54–61https://doi.org/10.1145/298595.298858Online:04 March 1998Publication History 4citation199DownloadsMetricsTotal Citations4Total Downloads199Last 12 Months3Last 6 weeks0 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 SiteeReaderPDF" @default.
- W2003536397 created "2016-06-24" @default.
- W2003536397 creator A5033945893 @default.
- W2003536397 creator A5072346732 @default.
- W2003536397 date "1998-01-01" @default.
- W2003536397 modified "2023-09-23" @default.
- W2003536397 title "The experimental Estelle Compiler" @default.
- W2003536397 cites W1965624076 @default.
- W2003536397 cites W2024218563 @default.
- W2003536397 cites W2780661666 @default.
- W2003536397 doi "https://doi.org/10.1145/298595.298858" @default.
- W2003536397 hasPublicationYear "1998" @default.
- W2003536397 type Work @default.
- W2003536397 sameAs 2003536397 @default.
- W2003536397 citedByCount "5" @default.
- W2003536397 crossrefType "proceedings-article" @default.
- W2003536397 hasAuthorship W2003536397A5033945893 @default.
- W2003536397 hasAuthorship W2003536397A5072346732 @default.
- W2003536397 hasBestOaLocation W20035363971 @default.
- W2003536397 hasConcept C136764020 @default.
- W2003536397 hasConcept C169590947 @default.
- W2003536397 hasConcept C199360897 @default.
- W2003536397 hasConcept C2778805511 @default.
- W2003536397 hasConcept C41008148 @default.
- W2003536397 hasConceptScore W2003536397C136764020 @default.
- W2003536397 hasConceptScore W2003536397C169590947 @default.
- W2003536397 hasConceptScore W2003536397C199360897 @default.
- W2003536397 hasConceptScore W2003536397C2778805511 @default.
- W2003536397 hasConceptScore W2003536397C41008148 @default.
- W2003536397 hasLocation W20035363971 @default.
- W2003536397 hasOpenAccess W2003536397 @default.
- W2003536397 hasPrimaryLocation W20035363971 @default.
- W2003536397 hasRelatedWork W1497385637 @default.
- W2003536397 hasRelatedWork W1744486668 @default.
- W2003536397 hasRelatedWork W1867780321 @default.
- W2003536397 hasRelatedWork W1954083313 @default.
- W2003536397 hasRelatedWork W1972375568 @default.
- W2003536397 hasRelatedWork W2007728761 @default.
- W2003536397 hasRelatedWork W2044486412 @default.
- W2003536397 hasRelatedWork W2375354128 @default.
- W2003536397 hasRelatedWork W2384572477 @default.
- W2003536397 hasRelatedWork W2394454917 @default.
- W2003536397 isParatext "false" @default.
- W2003536397 isRetracted "false" @default.
- W2003536397 magId "2003536397" @default.
- W2003536397 workType "article" @default.