{"_id":"Ai9RzdX2nxDf7nkPx","bibbaseid":"steffen-toolsandalgorithmsforconstructionandanalysisofsystems4thinternationalconferencetacas98heldaspartoftheeuropeanjointconferencesonthetheoryandpracticeofsoftwareetaps98lisbonportugalmarch28april41998proceedings-1998","downloads":0,"creationDate":"2019-03-14T12:11:49.568Z","title":"Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings","author_short":null,"year":1998,"bibtype":"proceedings","biburl":"https://dblp.org/pid/a/LucaAceto.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Bernhard"],"propositions":[],"lastnames":["Steffen"],"suffixes":[]}],"title":"Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings","series":"Lecture Notes in Computer Science","volume":"1384","publisher":"Springer","year":"1998","url":"https://doi.org/10.1007/BFb0054159","doi":"10.1007/BFb0054159","isbn":"3-540-64356-7","timestamp":"Tue, 23 May 2017 11:53:58 +0200","biburl":"https://dblp.org/rec/bib/conf/tacas/1998","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/tacas/1998,\n editor = {Bernhard Steffen},\n title = {Tools and Algorithms for Construction and Analysis of Systems, 4th\n International Conference, {TACAS} '98, Held as Part of the European\n Joint Conferences on the Theory and Practice of Software, ETAPS'98,\n Lisbon, Portugal, March 28 - April 4, 1998, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {1384},\n publisher = {Springer},\n year = {1998},\n url = {https://doi.org/10.1007/BFb0054159},\n doi = {10.1007/BFb0054159},\n isbn = {3-540-64356-7},\n timestamp = {Tue, 23 May 2017 11:53:58 +0200},\n biburl = {https://dblp.org/rec/bib/conf/tacas/1998},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Steffen, B."],"key":"DBLP:conf/tacas/1998","id":"DBLP:conf/tacas/1998","bibbaseid":"steffen-toolsandalgorithmsforconstructionandanalysisofsystems4thinternationalconferencetacas98heldaspartoftheeuropeanjointconferencesonthetheoryandpracticeofsoftwareetaps98lisbonportugalmarch28april41998proceedings-1998","role":"editor","urls":{"Paper":"https://doi.org/10.1007/BFb0054159"},"downloads":0},"search_terms":["tools","algorithms","construction","analysis","systems","4th","international","conference","tacas","held","part","european","joint","conferences","theory","practice","software","etaps","lisbon","portugal","march","april","1998","proceedings"],"keywords":[],"authorIDs":[],"dataSources":["Efw79Fxo6HR8p6xBt"]}