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/cav/cav91.bht:"
download as .bib file
@proceedings{DBLP:conf/cav/1991,
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55179-4},
doi = {10.1007/3-540-55179-4},
isbn = {3-540-55179-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AndersenW91,
author = {Henrik Reif Andersen and
Glynn Winskel},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Compositional Checking of Satisfaction},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {24--36},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_4},
doi = {10.1007/3-540-55179-4\_4},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/AndersenW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AvruninBC91,
author = {George S. Avrunin and
Ugo A. Buy and
James C. Corbett},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Integer Programming in the Analysis of Concurrent Systems},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {92--102},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_10},
doi = {10.1007/3-540-55179-4\_10},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AvruninBC91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BarbeauB91,
author = {Michel Barbeau and
Gregor von Bochmann},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {The Lotos Model of a Fault Protected System and its Verification Using
a Petri Net Based Approach},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {103--113},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_11},
doi = {10.1007/3-540-55179-4\_11},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/BarbeauB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BevierS91,
author = {William R. Bevier and
J{\o}rgen F. S{\o}gaard{-}Andersen},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Mechanically Checked Proofs of Kernel Specification},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {70--82},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_8},
doi = {10.1007/3-540-55179-4\_8},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BevierS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Brinksma91,
author = {Ed Brinksma},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {From Data Structure to Process Structure},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {244--254},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_24},
doi = {10.1007/3-540-55179-4\_24},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Brinksma91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChristoffC91,
author = {Linda Christoff and
Ivan Christoff},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Efficient Algorithms for Verification of Equivalences for Probabilistic
Processes},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {310--321},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_30},
doi = {10.1007/3-540-55179-4\_30},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ChristoffC91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CleavelandS91,
author = {Rance Cleaveland and
Bernhard Steffen},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal
Mu-Calculus},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {48--58},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_6},
doi = {10.1007/3-540-55179-4\_6},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CleavelandS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Courcoubetis91,
author = {Costas Courcoubetis},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Minimum and Maximum Delay Problems in Real-Time Systems},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {399--409},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_37},
doi = {10.1007/3-540-55179-4\_37},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Courcoubetis91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CourcoubetisGS91,
author = {Costas Courcoubetis and
Susanne Graf and
Joseph Sifakis},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {An Algebra of Boolean Processes},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {454--465},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_42},
doi = {10.1007/3-540-55179-4\_42},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CourcoubetisGS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DillHW91,
author = {David L. Dill and
Alan J. Hu and
Howard Wong{-}Toi},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Checking for Language Inclusion Using Simulation Preorders},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {255--265},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_25},
doi = {10.1007/3-540-55179-4\_25},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/DillHW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EndersFT91,
author = {Reinhard Enders and
Thomas Filkorn and
Dirk Taubner},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Generating BDDs for Symbolic Model Checking in {CCS}},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {203--213},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_20},
doi = {10.1007/3-540-55179-4\_20},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/EndersFT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FeigenbaumKL91,
author = {Joan Feigenbaum and
Jeremy A. Kahn and
Carsten Lund},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Complexity Results for {POMSET} Languages},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {343--353},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_33},
doi = {10.1007/3-540-55179-4\_33},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/FeigenbaumKL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FernandezM91,
author = {Jean{-}Claude Fernandez and
Laurent Mounier},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {"On the Fly" Verification of Behavioural Equivalences and Preorders},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {181--191},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_18},
doi = {10.1007/3-540-55179-4\_18},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/FernandezM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Filkorn91,
author = {Thomas Filkorn},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Functional Extension of Symbolic Model Checking},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {225--232},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_22},
doi = {10.1007/3-540-55179-4\_22},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Filkorn91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FinkelP91,
author = {Alain Finkel and
Laure Petrucci},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Avoiding State Exposion by Composition of Minimal Covering Graphs},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {169--180},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_17},
doi = {10.1007/3-540-55179-4\_17},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/FinkelP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FrancescoI91,
author = {Nicoletta De Francesco and
Paola Inverardi},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {A Semantic Driven Method to Check the Finiteness of {CCS} Processes},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {266--276},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_26},
doi = {10.1007/3-540-55179-4\_26},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/FrancescoI91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GabrielianI91,
author = {Armen Gabrielian and
R. Iyer},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Verifying Properties of {HMS} Machine Specifications of Real-Time
Systems},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {421--431},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_39},
doi = {10.1007/3-540-55179-4\_39},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GabrielianI91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GjessingKM91,
author = {Stein Gjessing and
Stein Krogdahl and
Ellen Munthe{-}Kaas},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {A Top Down Approach to the Formal Specification of {SCI} Cache Coherence},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {83--91},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_9},
doi = {10.1007/3-540-55179-4\_9},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GjessingKM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GodefroidW91,
author = {Patrice Godefroid and
Pierre Wolper},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Using Partial Orders for the Efficient Verification of Deadlock Freedom
and Safety Properties},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {332--342},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_32},
doi = {10.1007/3-540-55179-4\_32},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/GodefroidW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Goldschlag91,
author = {David M. Goldschlag},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Mechanically Verifying Safety and Liveness Properties of Delay Insensitive
Circuits},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {354--364},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_34},
doi = {10.1007/3-540-55179-4\_34},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Goldschlag91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HamaguchiHY91,
author = {Kiyoharu Hamaguchi and
Hiromi Hiraishi and
Shuzo Yajima},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Formal Verification of Speed-Dependent Asynchronous Cicuits Using
Symbolic Model Checking of branching Time Regular Temporal Logic},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {410--420},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_38},
doi = {10.1007/3-540-55179-4\_38},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/HamaguchiHY91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HiraishiHOY91,
author = {Hiromi Hiraishi and
Kiyoharu Hamaguchi and
Hiroyuki Ochi and
Shuzo Yajima},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Vectorized Symbolic Model Checking of Computation Tree Logic for Sequential
Machine Verification},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {214--224},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_21},
doi = {10.1007/3-540-55179-4\_21},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/HiraishiHOY91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HolmerLY91,
author = {Uno Holmer and
Kim Guldstrand Larsen and
Wang Yi},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Deciding Properties of Regular Real Time Processes},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {443--453},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_41},
doi = {10.1007/3-540-55179-4\_41},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/HolmerLY91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Huttel91,
author = {Hans H{\"{u}}ttel},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Silence is Golden: Branching Bisimilarity is Decidable for Context-Free
Processes},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {2--12},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_2},
doi = {10.1007/3-540-55179-4\_2},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Huttel91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JardJ91,
author = {Claude Jard and
Thierry J{\'{e}}ron},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Bounded-memory Algorithms for Verification On-the-fly},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {192--202},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_19},
doi = {10.1007/3-540-55179-4\_19},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/JardJ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Jeffrey91,
author = {Alan Jeffrey},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {A Linear Time Process Algebra},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {432--442},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_40},
doi = {10.1007/3-540-55179-4\_40},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Jeffrey91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Jensen91,
author = {Claus Torp Jensen},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {The Concurrency Workbench with Priorities},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {147--157},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_15},
doi = {10.1007/3-540-55179-4\_15},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Jensen91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Jong91,
author = {Gjalt G. de Jong},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {An Automata Theoretic Approach to Temporal Logic},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {477--487},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_44},
doi = {10.1007/3-540-55179-4\_44},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Jong91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Korver91,
author = {Henri Korver},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Computing Distinguishing Formulas for Branching Bisimulation},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {13--23},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_3},
doi = {10.1007/3-540-55179-4\_3},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Korver91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LangevinC91,
author = {Michel Langevin and
Eduard Cerny},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Comparing Generic State Machines},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {466--476},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_43},
doi = {10.1007/3-540-55179-4\_43},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/LangevinC91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Lin91,
author = {Huimin Lin},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {{PAM:} {A} Process Algebra Manipulator},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {136--146},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_14},
doi = {10.1007/3-540-55179-4\_14},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Lin91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MaoM91,
author = {Wenbo Mao and
George J. Milne},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {An Automated Proof Technique for Finite-State Machine Equivalence},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {233--243},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_23},
doi = {10.1007/3-540-55179-4\_23},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/MaoM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MauwV91,
author = {Sjouke Mauw and
Gert J. Veltink},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {A Proof Assistant for {PSF}},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {158--168},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_16},
doi = {10.1007/3-540-55179-4\_16},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/MauwV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Mutz91,
author = {Matthias Mutz},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Using the {HOL} Prove Assistant for proving the Correctness of term
Rewriting Rules reducing Terms of Sequential Behavior},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {277--287},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_27},
doi = {10.1007/3-540-55179-4\_27},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Mutz91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Nesi91,
author = {Monica Nesi},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Mechanizing a Proof by Induction of Process Algebrs Specifications
in Higher Order Logic},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {288--298},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_28},
doi = {10.1007/3-540-55179-4\_28},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Nesi91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/NicolaFGR91,
author = {Rocco De Nicola and
Alessandro Fantechi and
Stefania Gnesi and
Gioia Ristori},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {An Action Based Framework for Verifying Logical and Behavioural Properties
of Concurrent Systems},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {37--47},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_5},
doi = {10.1007/3-540-55179-4\_5},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/NicolaFGR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/NicollinS91,
author = {Xavier Nicollin and
Joseph Sifakis},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {An Overview and Synthesis on Timed Process Algebras},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {376--398},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_36},
doi = {10.1007/3-540-55179-4\_36},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/NicollinS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ProbstL91,
author = {David K. Probst and
Hon Fung Li},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Partial-Order Model Checking: {A} Guide for the Perplexed},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {322--331},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_31},
doi = {10.1007/3-540-55179-4\_31},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ProbstL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Rasse91,
author = {Anne Rasse},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Error Diagnosis in Finite Communicating Systems},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {114--124},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_12},
doi = {10.1007/3-540-55179-4\_12},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Rasse91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SchneiderKK91,
author = {Klaus Schneider and
Ramayya Kumar and
Thomas Kropf},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Automating Most Parts of Hardware Proofs in {HOL}},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {365--375},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_35},
doi = {10.1007/3-540-55179-4\_35},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/SchneiderKK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SegerJ91,
author = {Carl{-}Johan H. Seger and
Jeffrey J. Joyce},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {A Two-Level Formal Verification Methodology using {HOL} and {COSMOS}},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {299--309},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_29},
doi = {10.1007/3-540-55179-4\_29},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/SegerJ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Sistla91,
author = {A. Prasad Sistla and
Lenore D. Zuck},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Automatic Temporal Verification of Buffer Systems},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {59--69},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_7},
doi = {10.1007/3-540-55179-4\_7},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Sistla91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Sterling91,
author = {Colin Sterling},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Taming Infinite State Spaces},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {1},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_1},
doi = {10.1007/3-540-55179-4\_1},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Sterling91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/VemuriS91,
author = {Ranga Vemuri and
Anuradha Sridhar},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Temporal Precondition Verification of Design Transformations},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {125--135},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_13},
doi = {10.1007/3-540-55179-4\_13},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/VemuriS91.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-13 12:42 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:
