![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/avmfss/avmfss1989.bht:"
@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} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.