default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/stp/stp17.bht:"
download as .bib file
@article{DBLP:journals/stp/AlurHP96,
author = {Rajeev Alur and
Gerard J. Holzmann and
Doron A. Peled},
title = {An Analyzer for Message Sequence Charts},
journal = {Softw. Concepts Tools},
volume = {17},
number = {2},
pages = {70--77},
year = {1996},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/AlurHP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/BackS96,
author = {Ralph{-}Johan Back and
Kaisa Sere},
title = {From Action Systems to Modular Systems},
journal = {Softw. Concepts Tools},
volume = {17},
number = {1},
pages = {26--39},
year = {1996},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/BackS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Bredereke96,
author = {Jan Bredereke},
title = {Detection of Feature Interactions in Intelligent Networks by Verification},
journal = {Softw. Concepts Tools},
volume = {17},
number = {3},
pages = {121--139},
year = {1996},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/Bredereke96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/CiampoliniLM96,
author = {Anna Ciampolini and
Evelina Lamma and
Paola Mello},
title = {An Optimized Implementation of a Dynamic Modular Logic Language},
journal = {Softw. Concepts Tools},
volume = {17},
number = {4},
pages = {148--162},
year = {1996},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/CiampoliniLM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/CleavelandNSL96,
author = {Rance Cleaveland and
V. Natarajan and
Steve Sims and
Gerald L{\"{u}}ttgen},
title = {Modeling and Verifying Distributed Systems Using Priorities: {A} Case
Study},
journal = {Softw. Concepts Tools},
volume = {17},
number = {2},
pages = {50--62},
year = {1996},
timestamp = {Tue, 19 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/CleavelandNSL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Cook96,
author = {Robert P. Cook},
title = {The Type Extensible Architecture of a Simple Database System},
journal = {Softw. Concepts Tools},
volume = {17},
number = {4},
pages = {141--147},
year = {1996},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/Cook96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/CookP96,
author = {Robert P. Cook and
Krishnan Pillaipakkamnatt},
title = {An Introduction to Opaque Types},
journal = {Softw. Concepts Tools},
volume = {17},
number = {1},
pages = {1--5},
year = {1996},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/CookP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Doberkat96,
author = {Ernst{-}Erich Doberkat},
title = {A Language for Specifying Hyperdocuments},
journal = {Softw. Concepts Tools},
volume = {17},
number = {4},
pages = {163--172},
year = {1996},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/Doberkat96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Holzmann96,
author = {Gerard J. Holzmann},
title = {Early Fault Detection Tools},
journal = {Softw. Concepts Tools},
volume = {17},
number = {2},
pages = {63--69},
year = {1996},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/Holzmann96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Lowe96,
author = {Gavin Lowe},
title = {Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using
{FDR}},
journal = {Softw. Concepts Tools},
volume = {17},
number = {3},
pages = {93--102},
year = {1996},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/Lowe96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/MargariaS96,
author = {Tiziana Margaria and
Bernhard Steffen},
title = {Foreword},
journal = {Softw. Concepts Tools},
volume = {17},
number = {2},
pages = {49},
year = {1996},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/MargariaS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/NavratB96,
author = {Pavol N{\'{a}}vrat and
M{\'{a}}ria Bielikov{\'{a}}},
title = {Knowledge-Controlled Version Selection in Software Configuration Management},
journal = {Softw. Concepts Tools},
volume = {17},
number = {1},
pages = {40},
year = {1996},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/NavratB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Stary96,
author = {Christian Stary},
title = {Integrating Workflow Representations into User Interaface Design Representations},
journal = {Softw. Concepts Tools},
volume = {17},
number = {4},
pages = {173},
year = {1996},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/Stary96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/SteffenMC96,
author = {Bernhard Steffen and
Tiziana Margaria and
Andreas Cla{\ss}en},
title = {Heterogeneous Analysis and Verification for Distributed Systems},
journal = {Softw. Concepts Tools},
volume = {17},
number = {1},
pages = {13--25},
year = {1996},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/SteffenMC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/SteffenMCB96,
author = {Bernhard Steffen and
Tiziana Margaria and
Andreas Cla{\ss}en and
Volker Braun},
title = {Incremental Formalization: {A} Key to Industrial Success},
journal = {Softw. Concepts Tools},
volume = {17},
number = {2},
pages = {78},
year = {1996},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/SteffenMCB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Tretmans96,
author = {Jan Tretmans},
title = {Test Generation with Inputs, Outputs and Repetitive Quiescence},
journal = {Softw. Concepts Tools},
volume = {17},
number = {3},
pages = {103--120},
year = {1996},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/Tretmans96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Wirth96,
author = {Niklaus Wirth},
title = {Tasks versus Threads: An Alternative Multiprocessing Paradigm},
journal = {Softw. Concepts Tools},
volume = {17},
number = {1},
pages = {6--12},
year = {1996},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/Wirth96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-11-02 10:14 CET 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:
