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/forte/forte2002.bht:"
download as .bib file
@inproceedings{DBLP:conf/forte/AmlaENT02,
author = {Nina Amla and
E. Allen Emerson and
Kedar S. Namjoshi and
Richard J. Trefler},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {Visual Specifications for Modular Reasoning about Asynchronous Systems},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {226--242},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_15},
doi = {10.1007/3-540-36135-9\_15},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/AmlaENT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ArmandoC02,
author = {Alessandro Armando and
Luca Compagna},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction
to Planning},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {210--225},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_14},
doi = {10.1007/3-540-36135-9\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/ArmandoC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AudemardCKS02,
author = {Gilles Audemard and
Alessandro Cimatti and
Artur Kornilowicz and
Roberto Sebastiani},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {Bounded Model Checking for Timed Systems},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {243--259},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_16},
doi = {10.1007/3-540-36135-9\_16},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/AudemardCKS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Bochmann02,
author = {Gregor von Bochmann},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {Submodule Construction for Specifications with Input Assumptions and
Output Guarantees},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {17--33},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_2},
doi = {10.1007/3-540-36135-9\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/Bochmann02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BogdanovGL02,
author = {Andrej Bogdanov and
Stephen J. Garland and
Nancy A. Lynch},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {Mechanical Translation of {I/O} Automaton Specifications into First-Order
Logic},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {364--368},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_24},
doi = {10.1007/3-540-36135-9\_24},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/BogdanovGL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Bosnacki02,
author = {Dragan Bosnacki},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {A Nested Depth First Search Algorithm for Model Checking with Symmetry
Reduction},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {65--80},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_5},
doi = {10.1007/3-540-36135-9\_5},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/Bosnacki02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BrowerS02,
author = {Ronald W. Brower and
Kenneth S. Stevens},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {Congruent Weak Conformance, a Partial Order among Processes},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {34--49},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_3},
doi = {10.1007/3-540-36135-9\_3},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/BrowerS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/DeussenT02,
author = {Peter H. Deussen and
Stephan Tobies},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {Formal Test Purposes and the Validity of Test Cases},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {114--129},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_8},
doi = {10.1007/3-540-36135-9\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/DeussenT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/DuVarneyI02,
author = {Daniel C. DuVarney and
S. Purushothaman Iyer},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {C Wolf - {A} Toolset for Extracting Models from {C} Programs},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {260--275},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_17},
doi = {10.1007/3-540-36135-9\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/DuVarneyI02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/GaravelL02,
author = {Hubert Garavel and
Fr{\'{e}}d{\'{e}}ric Lang},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {{NTIF:} {A} General Symbolic Model for Communicating Sequential Processes
with Data},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {276--291},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_18},
doi = {10.1007/3-540-36135-9\_18},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/GaravelL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/GiannakopoulouL02,
author = {Dimitra Giannakopoulou and
Flavio Lerda},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {From States to Transitions: Improving Translation of {LTL} Formulae
to B{\"{u}}chi Automata},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {308--326},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_20},
doi = {10.1007/3-540-36135-9\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/GiannakopoulouL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/KristensenM02,
author = {Lars Michael Kristensen and
Thomas Mailund},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {A Compositional Sweep-Line State Space Exploration Method},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {327--343},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_21},
doi = {10.1007/3-540-36135-9\_21},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/KristensenM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/KwiatkowskaN02,
author = {Marta Z. Kwiatkowska and
Gethin Norman},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {Verifying Randomized Byzantine Agreement},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {194--209},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_13},
doi = {10.1007/3-540-36135-9\_13},
timestamp = {Mon, 29 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/KwiatkowskaN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/LivadasL02,
author = {Carolos Livadas and
Nancy A. Lynch},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {A Formal Venture into Reliable Multicast Territory},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {146--161},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_10},
doi = {10.1007/3-540-36135-9\_10},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/LivadasL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/MelamedSWCNB02,
author = {Victor Melamed and
Harry Stuimer and
David Wilkins and
Lawrence Chang and
Kevin Normoyle and
Sutikshan Bhutani},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {Innovative Verification Techniques Used in the Implementation of a
Third-Generation 1.1GHz 64b Microprocessor},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {360--363},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_23},
doi = {10.1007/3-540-36135-9\_23},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/MelamedSWCNB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/NunezR02,
author = {Manuel N{\'{u}}{\~{n}}ez and
Ismael Rodr{\'{\i}}guez},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {Encoding {PAMR} into (Timed) EFSMs},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {1--16},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_1},
doi = {10.1007/3-540-36135-9\_1},
timestamp = {Fri, 25 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/NunezR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/PalmerG02,
author = {Robert Palmer and
Ganesh Gopalakrishnan},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {A Distributed Partial Order Reduction Algorithm},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {370},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_26},
doi = {10.1007/3-540-36135-9\_26},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/PalmerG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/PickinJTJJG02,
author = {Simon Pickin and
Claude Jard and
Yves Le Traon and
Thierry J{\'{e}}ron and
Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Alain Le Guennec},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {System Test Synthesis from {UML} Models of Distributed Software},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {97--113},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_7},
doi = {10.1007/3-540-36135-9\_7},
timestamp = {Mon, 29 Mar 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/PickinJTJJG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Reiff-MarganiecT02,
author = {Stephan Reiff{-}Marganiec and
Kenneth J. Turner},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {Use of Logic to Describe Enhanced Communications Services},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {130--145},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_9},
doi = {10.1007/3-540-36135-9\_9},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/Reiff-MarganiecT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/RibetVB02,
author = {Pierre{-}Olivier Ribet and
Fran{\c{c}}ois Vernadat and
Bernard Berthomieu},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {On Combining the Persistent Sets Method with the Covering Steps Graph
Method},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {344--359},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_22},
doi = {10.1007/3-540-36135-9\_22},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/RibetVB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/SakunkonchakF02,
author = {Thanyapat Sakunkonchak and
Masahiro Fujita},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {Verification of Event-Based Synchronization of SpecC Description Using
Difference Decision Diagrams},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {369},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_25},
doi = {10.1007/3-540-36135-9\_25},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/SakunkonchakF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Turner02,
author = {Kenneth J. Turner},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {Modelling {SIP} Services Using {CRESS}},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {162--177},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_11},
doi = {10.1007/3-540-36135-9\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/Turner02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/TurnerB02,
author = {Kenneth J. Turner and
Qian Bing},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {Protocol Techniques for Testing Radiotherapy Accelerators},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {81--96},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_6},
doi = {10.1007/3-540-36135-9\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/TurnerB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/TynjalaLL02,
author = {Teemu Tynj{\"{a}}l{\"{a}} and
Sari Lepp{\"{a}}nen and
Vesa Luukkala},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {Verifying Reliable Data Transmission over {UMTS} Radio Interface with
High Level Petri Nets},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {178--193},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_12},
doi = {10.1007/3-540-36135-9\_12},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/TynjalaLL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Verdejo02,
author = {Alberto Verdejo},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {Building Tools for {LOTOS} Symbolic Semantics in Maude},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {292--307},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_19},
doi = {10.1007/3-540-36135-9\_19},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/Verdejo02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/WangS02,
author = {Farn Wang and
Karsten Schmidt},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer
Data Structures},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {50--64},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_4},
doi = {10.1007/3-540-36135-9\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/WangS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2002,
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9},
doi = {10.1007/3-540-36135-9},
isbn = {3-540-00141-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/2002.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 03:10 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:
