Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/scp/scp23.bht:"
download as .bib file
@article{DBLP:journals/scp/BellegardeH94,
author = {Fran{\c{c}}oise Bellegarde and
James Hook},
title = {Substitution: {A} Formal Methods Case Study Using Monads and Transformations},
journal = {Sci. Comput. Program.},
volume = {23},
number = {2-3},
pages = {287--311},
year = {1994},
url = {https://doi.org/10.1016/0167-6423(94)00022-0},
doi = {10.1016/0167-6423(94)00022-0},
timestamp = {Mon, 25 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BellegardeH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BernotGA94,
author = {Gilles Bernot and
Pascale Le Gall and
Marc Aiguier},
title = {Label Algebras and Exception Handling},
journal = {Sci. Comput. Program.},
volume = {23},
number = {2-3},
pages = {227--286},
year = {1994},
url = {https://doi.org/10.1016/0167-6423(94)00021-2},
doi = {10.1016/0167-6423(94)00021-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BernotGA94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Collette94,
author = {Pierre Collette},
title = {Composition of Assumption-Commitment Specifications in a {UNITY} Style},
journal = {Sci. Comput. Program.},
volume = {23},
number = {2-3},
pages = {107--125},
year = {1994},
url = {https://doi.org/10.1016/0167-6423(94)00017-4},
doi = {10.1016/0167-6423(94)00017-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Collette94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Esparza94,
author = {Javier Esparza},
title = {Model Checking Using Net Unfoldings},
journal = {Sci. Comput. Program.},
volume = {23},
number = {2-3},
pages = {151--195},
year = {1994},
url = {https://doi.org/10.1016/0167-6423(94)00019-0},
doi = {10.1016/0167-6423(94)00019-0},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/Esparza94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Gaudel94,
author = {Marie{-}Claude Gaudel},
title = {Foreword: Selected Papers of TAPSOFT'93},
journal = {Sci. Comput. Program.},
volume = {23},
number = {2-3},
pages = {105},
year = {1994},
url = {https://doi.org/10.1016/0167-6423(94)00016-6},
doi = {10.1016/0167-6423(94)00016-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Gaudel94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GiannottiL94,
author = {Fosca Giannotti and
Diego Latella},
title = {Gate Splitting in {LOTOS} Specifications Using Abstract Interpretation},
journal = {Sci. Comput. Program.},
volume = {23},
number = {2-3},
pages = {127--149},
year = {1994},
url = {https://doi.org/10.1016/0167-6423(94)00018-2},
doi = {10.1016/0167-6423(94)00018-2},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/GiannottiL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GibbonsCS94,
author = {Jeremy Gibbons and
Wentong Cai and
David B. Skillicorn},
title = {Efficient Parallel Algorithms for Tree Accumulations},
journal = {Sci. Comput. Program.},
volume = {23},
number = {1},
pages = {1--18},
year = {1994},
url = {https://doi.org/10.1016/0167-6423(94)00013-1},
doi = {10.1016/0167-6423(94)00013-1},
timestamp = {Fri, 19 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GibbonsCS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PalsbergS94,
author = {Jens Palsberg and
Michael I. Schwartzbach},
title = {Static Typing for Object-Oriented Programming},
journal = {Sci. Comput. Program.},
volume = {23},
number = {1},
pages = {19--53},
year = {1994},
url = {https://doi.org/10.1016/0167-6423(94)00014-X},
doi = {10.1016/0167-6423(94)00014-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/PalsbergS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/RondogiannisC94,
author = {Panos Rondogiannis and
Mantis H. M. Cheng},
title = {Petri-Net-Based Deadlock Analysis of Process Algebra Programs},
journal = {Sci. Comput. Program.},
volume = {23},
number = {1},
pages = {55--89},
year = {1994},
url = {https://doi.org/10.1016/0167-6423(94)00011-5},
doi = {10.1016/0167-6423(94)00011-5},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/RondogiannisC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Smith94,
author = {Geoffrey Smith},
title = {Principal Type Schemes for Functional Programs with Overloading and
Subtyping},
journal = {Sci. Comput. Program.},
volume = {23},
number = {2-3},
pages = {197--226},
year = {1994},
url = {https://doi.org/10.1016/0167-6423(94)00020-4},
doi = {10.1016/0167-6423(94)00020-4},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/Smith94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-08-07 02:01 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
