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/conf/tacas/tacas98.bht:"
download as .bib file
@inproceedings{DBLP:conf/tacas/AbdullaJ98,
author = {Parosh Aziz Abdulla and
Bengt Jonsson},
editor = {Bernhard Steffen},
title = {Verifying Networks of Timed Processes (Extended Abstract)},
booktitle = {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},
pages = {298--312},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054179},
doi = {10.1007/BFB0054179},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AbdullaJ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AcetoBL98,
author = {Luca Aceto and
Augusto Burgue{\~{n}}o and
Kim Guldstrand Larsen},
editor = {Bernhard Steffen},
title = {Model Checking via Reachability Testing for Timed Automata},
booktitle = {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},
pages = {263--280},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054177},
doi = {10.1007/BFB0054177},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AcetoBL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AikenFS98,
author = {Alexander Aiken and
Manuel F{\"{a}}hndrich and
Zhendong Su},
editor = {Bernhard Steffen},
title = {Detecting Races in Relay Ladder Logic Programs},
booktitle = {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},
pages = {184--200},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054172},
doi = {10.1007/BFB0054172},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/AikenFS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AjamiHI98,
author = {Khalil Ajami and
Serge Haddad and
Jean{-}Michel Ili{\'{e}}},
editor = {Bernhard Steffen},
title = {Exploiting Symmetry in Linear Time Temporal Logic Model Checking:
One Step Beyond},
booktitle = {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},
pages = {52--67},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054164},
doi = {10.1007/BFB0054164},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AjamiHI98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AlurHR98,
author = {Rajeev Alur and
Thomas A. Henzinger and
Sriram K. Rajamani},
editor = {Bernhard Steffen},
title = {Symbolic Exploration of transition Hierarchies},
booktitle = {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},
pages = {330--344},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054181},
doi = {10.1007/BFB0054181},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AlurHR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Ben-AbdallahL98,
author = {Han{\^{e}}ne Ben{-}Abdallah and
Stefan Leue},
editor = {Bernhard Steffen},
title = {{MESA:} Support for Scenario-Based Design of Concurrent Systems},
booktitle = {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},
pages = {118--135},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054168},
doi = {10.1007/BFB0054168},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Ben-AbdallahL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BjornerP98,
author = {Nikolaj S. Bj{\o}rner and
Mark C. Pichora},
editor = {Bernhard Steffen},
title = {Deciding Fixed and Non-fixed Size Bit-vectors},
booktitle = {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},
pages = {376--392},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054184},
doi = {10.1007/BFB0054184},
timestamp = {Sat, 29 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BjornerP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BrockmeyerW98,
author = {Udo Brockmeyer and
Gunnar Wittich},
editor = {Bernhard Steffen},
title = {Tamagotchis Need Not Die - Verification of {STATEMENT} Design},
booktitle = {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},
pages = {217--231},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054174},
doi = {10.1007/BFB0054174},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BrockmeyerW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Bryant98,
author = {Randal E. Bryant},
editor = {Bernhard Steffen},
title = {Formal Verification of Pipelined Processors},
booktitle = {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},
pages = {1--4},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054160},
doi = {10.1007/BFB0054160},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Bryant98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Cattel98,
author = {Thierry Cattel},
editor = {Bernhard Steffen},
title = {Modeling and Verification of {SC++} Applications},
booktitle = {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},
pages = {232--248},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054175},
doi = {10.1007/BFB0054175},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Cattel98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CharatonikP98,
author = {Witold Charatonik and
Andreas Podelski},
editor = {Bernhard Steffen},
title = {Set-Based Analysis of Reactive Infinite-State Systems},
booktitle = {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},
pages = {358--375},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054183},
doi = {10.1007/BFB0054183},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CharatonikP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DawsT98,
author = {Conrado Daws and
Stavros Tripakis},
editor = {Bernhard Steffen},
title = {Model Checking of Real-Time Reachability Properties Using Abstractions},
booktitle = {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},
pages = {313--329},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054180},
doi = {10.1007/BFB0054180},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DawsT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Garavel98,
author = {Hubert Garavel},
editor = {Bernhard Steffen},
title = {OPEN/C{\AE}SAR: An OPen Software Architecture for Verification, Simulation,
and Testing},
booktitle = {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},
pages = {68--84},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054165},
doi = {10.1007/BFB0054165},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Garavel98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Grahlmann98,
author = {Bernd Grahlmann},
editor = {Bernhard Steffen},
title = {Combining Finite Automata, Parallel Programs and {SDL} Using Petri
Nets},
booktitle = {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},
pages = {102--117},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054167},
doi = {10.1007/BFB0054167},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Grahlmann98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GribomontZ98,
author = {E. Pascal Gribomont and
Guy Zenner},
editor = {Bernhard Steffen},
title = {Automated Verification of Szymanski's Algorithm},
booktitle = {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},
pages = {424--438},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054187},
doi = {10.1007/BFB0054187},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/GribomontZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HuhnNW98,
author = {Michaela Huhn and
Peter Niebert and
Frank Wallner},
editor = {Bernhard Steffen},
title = {Verification Based on Local States},
booktitle = {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},
pages = {36--51},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054163},
doi = {10.1007/BFB0054163},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HuhnNW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/JensenL98,
author = {Henrik Ejersbo Jensen and
Nancy A. Lynch},
editor = {Bernhard Steffen},
title = {A Proof of Burns \emph{N}-Process Mutual Exclusion Algorithm Using
Abstraction},
booktitle = {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},
pages = {409--423},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054186},
doi = {10.1007/BFB0054186},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/JensenL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KurshanLMPY98,
author = {Robert P. Kurshan and
Vladimir Levin and
Marius Minea and
Doron A. Peled and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
editor = {Bernhard Steffen},
title = {Static Partial Order Reduction},
booktitle = {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},
pages = {345--357},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054182},
doi = {10.1007/BFB0054182},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KurshanLMPY98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LasterG98,
author = {Karen Laster and
Orna Grumberg},
editor = {Bernhard Steffen},
title = {Modular Model Checking of Software},
booktitle = {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},
pages = {20--35},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054162},
doi = {10.1007/BFB0054162},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LasterG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Lind-NielsenABHKL98,
author = {J{\o}rn Lind{-}Nielsen and
Henrik Reif Andersen and
Gerd Behrmann and
Henrik Hulgaard and
K{\aa}re J. Kristoffersen and
Kim Guldstrand Larsen},
editor = {Bernhard Steffen},
title = {Verification of Large State/Event Systems Using Compositionality and
Dependency Analysis},
booktitle = {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},
pages = {201--216},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054173},
doi = {10.1007/BFB0054173},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Lind-NielsenABHKL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LindahlPY98,
author = {Magnus Lindahl and
Paul Pettersson and
Wang Yi},
editor = {Bernhard Steffen},
title = {Formal Design and Analysis of a Gear Controller},
booktitle = {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},
pages = {281--297},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054178},
doi = {10.1007/BFB0054178},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LindahlPY98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LiuRS98,
author = {Xinxin Liu and
C. R. Ramakrishnan and
Scott A. Smolka},
editor = {Bernhard Steffen},
title = {Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended
Abstract)},
booktitle = {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},
pages = {5--19},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054161},
doi = {10.1007/BFB0054161},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LiuRS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/PnueliSS98,
author = {Amir Pnueli and
Michael Siegel and
Eli Singerman},
editor = {Bernhard Steffen},
title = {Translation Validation},
booktitle = {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},
pages = {151--166},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054170},
doi = {10.1007/BFB0054170},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/PnueliSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/RegensburgerB98,
author = {Franz Regensburger and
Aenne Barnard},
editor = {Bernhard Steffen},
title = {Formal Verification of {SDL} Systems at the Siemens Mobile Phone Department},
booktitle = {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},
pages = {439--455},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054188},
doi = {10.1007/BFB0054188},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/RegensburgerB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/RuysB98,
author = {Theo C. Ruys and
Ed Brinksma},
editor = {Bernhard Steffen},
title = {Experience with Literate Programming in the Modelling and Validation
of Systems},
booktitle = {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},
pages = {393--408},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054185},
doi = {10.1007/BFB0054185},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/RuysB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ShermanM98,
author = {David James Sherman and
Nicolas Magnier},
editor = {Bernhard Steffen},
title = {Factotum: Automatic and Systematic Sharing Support for Systems Analyzers},
booktitle = {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},
pages = {249--262},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054176},
doi = {10.1007/BFB0054176},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ShermanM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Sprenger98,
author = {Christoph Sprenger},
editor = {Bernhard Steffen},
title = {A Verified Model Checker for the Modal {\(\mathrm{\mu}\)}-calculus
in Coq},
booktitle = {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},
pages = {167--183},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054171},
doi = {10.1007/BFB0054171},
timestamp = {Sun, 31 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/Sprenger98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/StevensS98,
author = {Perdita Stevens and
Colin Stirling},
editor = {Bernhard Steffen},
title = {Practical Model-Checking Using Games},
booktitle = {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},
pages = {85--101},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054166},
doi = {10.1007/BFB0054166},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/StevensS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/VelevB98,
author = {Miroslav N. Velev and
Randal E. Bryant},
editor = {Bernhard Steffen},
title = {Efficient Modeling of Memory Arrays in Symbolic Ternary Simulation},
booktitle = {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},
pages = {136--150},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054169},
doi = {10.1007/BFB0054169},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/VelevB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/1998,
editor = {Bernhard Steffen},
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, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/1998.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-04-24 00:41 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:
