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/avmfss/avmfss1989.bht:"
download as .bib file
@proceedings{DBLP:conf/avmfss/1989,
editor = {Joseph Sifakis},
title = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52148-8},
doi = {10.1007/3-540-52148-8},
isbn = {3-540-52148-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/1989.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/AggarwalBCG89,
author = {Sudhir Aggarwal and
Daniel Barbar{\'{a}} and
Walter Cunto and
M. R. Garey},
editor = {Joseph Sifakis},
title = {The Complexity of Collapsing Reachability Graphs},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {264--274},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_22},
doi = {10.1007/3-540-52148-8\_22},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/AggarwalBCG89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/Arnold89,
author = {Andr{\'{e}} Arnold},
editor = {Joseph Sifakis},
title = {{MEC:} {A} System for Constructing and Analysing Transition Systems},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {117--132},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_11},
doi = {10.1007/3-540-52148-8\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/Arnold89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/AzemaVL89,
author = {Pierre Az{\'{e}}ma and
Fran{\c{c}}ois Vernadat and
Jean Christophe Lloret},
editor = {Joseph Sifakis},
title = {Requirement Analysis for Communication Protocols},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {286--293},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_24},
doi = {10.1007/3-540-52148-8\_24},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/avmfss/AzemaVL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/BarringerFG89,
author = {Howard Barringer and
Michael Fisher and
Graham Gough},
editor = {Joseph Sifakis},
title = {Fair {SMG} and Linear Time Model Checking},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {133--150},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_12},
doi = {10.1007/3-540-52148-8\_12},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/avmfss/BarringerFG89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/BoudolRSV89,
author = {G{\'{e}}rard Boudol and
Val{\'{e}}rie Roy and
Robert de Simone and
Didier Vergamini},
editor = {Joseph Sifakis},
title = {Process Calculi, from Theory to Practice: Verification Tools},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {1--10},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_1},
doi = {10.1007/3-540-52148-8\_1},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/BoudolRSV89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/BronsteinT89,
author = {Alexandre Bronstein and
Carolyn L. Talcott},
editor = {Joseph Sifakis},
title = {Formal Verification of Synchronous Circuits based on String-Functional
Semantics: The 7 Paillet Circuits in Boyer-Moore},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {317--333},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_27},
doi = {10.1007/3-540-52148-8\_27},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/BronsteinT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/Burch89,
author = {Jerry R. Burch},
editor = {Joseph Sifakis},
title = {Combining CTL, Trace Theory and Timing Models},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {334--348},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_28},
doi = {10.1007/3-540-52148-8\_28},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/Burch89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/Christoff89,
author = {Ivan Christoff},
editor = {Joseph Sifakis},
title = {A Method for Verification of Trace and Test Equivalence},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {81--88},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_7},
doi = {10.1007/3-540-52148-8\_7},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/Christoff89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/CleavelandH89,
author = {Rance Cleaveland and
Matthew Hennessy},
editor = {Joseph Sifakis},
title = {Testing Equivalence as a Bisimulation Equivalence},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {11--23},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_2},
doi = {10.1007/3-540-52148-8\_2},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/CleavelandH89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/CleavelandPS89,
author = {Rance Cleaveland and
Joachim Parrow and
Bernhard Steffen},
editor = {Joseph Sifakis},
title = {The Concurrency Workbench},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {24--37},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_3},
doi = {10.1007/3-540-52148-8\_3},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/CleavelandPS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/CoudertBM89,
author = {Olivier Coudert and
Christian Berthet and
Jean Christophe Madre},
editor = {Joseph Sifakis},
title = {Verification of Synchronous Sequential Machines Based on Symbolic
Execution},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {365--373},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_30},
doi = {10.1007/3-540-52148-8\_30},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/CoudertBM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/Dill89,
author = {David L. Dill},
editor = {Joseph Sifakis},
title = {Timing Assumptions and Verification of Finite-State Concurrent Systems},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {197--212},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_17},
doi = {10.1007/3-540-52148-8\_17},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/Dill89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/GopalakrishnanMA89,
author = {Ganesh Gopalakrishnan and
Narayana Mani and
Venkatesh Akella},
editor = {Joseph Sifakis},
title = {Parallel Composition of Lockstep Synchronous Processes for Hardware
Validation: Divide-and-Conquer Composition},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {374--382},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_31},
doi = {10.1007/3-540-52148-8\_31},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/GopalakrishnanMA89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/GrafRRV89,
author = {Susanne Graf and
Jean{-}Luc Richier and
Carlos Rodriguez and
Jacques Voiron},
editor = {Joseph Sifakis},
title = {What are the Limits of Model Checking Methods for the Verification
of Real Life Protocols?},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {275--285},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_23},
doi = {10.1007/3-540-52148-8\_23},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/GrafRRV89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/HalbwachsPOG89,
author = {Nicolas Halbwachs and
Daniel Pilaud and
Farid Ouabdesselam and
Anne{-}Cecile Glory},
editor = {Joseph Sifakis},
title = {Specifying, Programming and Verifying Real-Time Systems Using a Synchronous
Declarative Language},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {213--231},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_18},
doi = {10.1007/3-540-52148-8\_18},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/HalbwachsPOG89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/JardJ89,
author = {Claude Jard and
Thierry J{\'{e}}ron},
editor = {Joseph Sifakis},
title = {On-Line Model Checking for Finite Linear Temporal Logic Specifications},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {189--196},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_16},
doi = {10.1007/3-540-52148-8\_16},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/JardJ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/JonssonKP89,
author = {Bengt Jonsson and
Ahmed Hussain Khan and
Joachim Parrow},
editor = {Joseph Sifakis},
title = {Implementing a Model Checking Algorithm by Adapting Existing Automated
Tools},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {179--188},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_15},
doi = {10.1007/3-540-52148-8\_15},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/JonssonKP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/Krumm89,
author = {Heiko Krumm},
editor = {Joseph Sifakis},
title = {Projections of the Reachability Graph and Environment Models},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {89--96},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_8},
doi = {10.1007/3-540-52148-8\_8},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/Krumm89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/Larsen89,
author = {Kim Guldstrand Larsen},
editor = {Joseph Sifakis},
title = {Modal Specifications},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {232--246},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_19},
doi = {10.1007/3-540-52148-8\_19},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/Larsen89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/Maraninchi89,
author = {Florence Maraninchi},
editor = {Joseph Sifakis},
title = {Argonaute: Graphical Description, Semantics and Verification of Reactive
Systems by Using a Process Algebra},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {38--53},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_4},
doi = {10.1007/3-540-52148-8\_4},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/avmfss/Maraninchi89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/NicolaIN89,
author = {Rocco De Nicola and
Paola Inverardi and
Monica Nesi},
editor = {Joseph Sifakis},
title = {Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating
{CCS} Specifications},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {54--67},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_5},
doi = {10.1007/3-540-52148-8\_5},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/avmfss/NicolaIN89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/Ostroff89,
author = {Jonathan S. Ostroff},
editor = {Joseph Sifakis},
title = {Automated Verification of Timed Transition Models},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {247--256},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_20},
doi = {10.1007/3-540-52148-8\_20},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/Ostroff89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/QuemadaPF89,
author = {Juan Quemada and
Santiago Pav{\'{o}}n and
Angel Fern{\'{a}}ndez},
editor = {Joseph Sifakis},
title = {State Exploration by Transformation with {LOLA}},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {294--302},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_25},
doi = {10.1007/3-540-52148-8\_25},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/QuemadaPF89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/ShtadlerG89,
author = {Ze'ev Shtadler and
Orna Grumberg},
editor = {Joseph Sifakis},
title = {Network Grammars, Communication Behaviors and Automatic Verification},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {151--165},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_13},
doi = {10.1007/3-540-52148-8\_13},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/ShtadlerG89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/StaunstrupGG89,
author = {J{\o}rgen Staunstrup and
Stephen J. Garland and
John V. Guttag},
editor = {Joseph Sifakis},
title = {Localized Verification of Circuit Descriptions},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {349--364},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_29},
doi = {10.1007/3-540-52148-8\_29},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/StaunstrupGG89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/StirlingW89,
author = {Colin Stirling and
David Walker},
editor = {Joseph Sifakis},
title = {CCS, Liveness, and Local Model Checking in the Linear Time Mu-Calculus},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {166--178},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_14},
doi = {10.1007/3-540-52148-8\_14},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/StirlingW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/Tuominen89,
author = {Heikki Tuominen},
editor = {Joseph Sifakis},
title = {Proving Properties of Elementary Net Systems with a Special-Purpose
Theorem Prover},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {97--104},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_9},
doi = {10.1007/3-540-52148-8\_9},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/Tuominen89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/WolperL89,
author = {Pierre Wolper and
Vinciane Lovinfosse},
editor = {Joseph Sifakis},
title = {Verifying Properties of Large Sets of Processes with Network Invariants},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {68--80},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_6},
doi = {10.1007/3-540-52148-8\_6},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/avmfss/WolperL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/Wood89,
author = {William G. Wood},
editor = {Joseph Sifakis},
title = {Temporal Logic Case Study},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {257--263},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_21},
doi = {10.1007/3-540-52148-8\_21},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/Wood89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/YuangK89,
author = {Maria C. Yuang and
Aaron Kershenbaum},
editor = {Joseph Sifakis},
title = {Parallel Protocol Verification: The Two-Phase Algorithm and Complexity
Analysis},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {303--316},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_26},
doi = {10.1007/3-540-52148-8\_26},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/YuangK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/Zuidweg89,
author = {Han Zuidweg},
editor = {Joseph Sifakis},
title = {Verification by Abstraction and Bisimulation},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {105--116},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_10},
doi = {10.1007/3-540-52148-8\_10},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/Zuidweg89.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-05-15 01:18 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:
