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/forte2001.bht:"
download as .bib file
@inproceedings{DBLP:conf/forte/Bjorner01,
author = {Dines Bj{\o}rner},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {On Formal Techniques in Protocol Engineering - Example Challenges},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {395--420},
publisher = {Kluwer},
year = {2001},
timestamp = {Mon, 05 Oct 2020 12:53:08 +0200},
biburl = {https://dblp.org/rec/conf/forte/Bjorner01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Bowman01,
author = {Howard Bowman},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {Time and Action Lock Freedom Properties for Timed Automata},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {119--134},
publisher = {Kluwer},
year = {2001},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Bowman01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Bredereke01,
author = {Jan Bredereke},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {A Tool for Generating Specifications from a Family of Formal Requirements},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {319--334},
publisher = {Kluwer},
year = {2001},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Bredereke01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BryansS01,
author = {Jeremy W. Bryans and
Carron Shankland},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {Implementing a Modal Logic over Data and Processes using {XTL}},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {201--218},
publisher = {Kluwer},
year = {2001},
timestamp = {Thu, 14 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/BryansS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/CalderS01,
author = {Muffy Calder and
Carron Shankland},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {A Symbolic Semantics and Bisimulation for Full {LOTOS}},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {185--200},
publisher = {Kluwer},
year = {2001},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/CalderS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Chen01,
author = {Wen{-}Huei Chen},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {Executable Test Sequence for the Protocol Data Flow Property},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {285--300},
publisher = {Kluwer},
year = {2001},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Chen01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/CheungC01,
author = {Tin{-}Wo Cheung and
Samuel T. Chanson},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {A PKI-Based End-to-End Secure Infrastructure for Mobile E-Commerce},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {421--442},
publisher = {Kluwer},
year = {2001},
timestamp = {Wed, 13 Mar 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/CheungC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ChoiYSY01,
author = {Jin{-}Young Choi and
Hee Yong Youn and
Soonuk Seol and
Chuck Yoo},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {Distributed Test using Logical Clock},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {69--84},
publisher = {Kluwer},
year = {2001},
timestamp = {Thu, 18 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/ChoiYSY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/El-FakihYB01,
author = {Khaled El{-}Fakih and
Nina Yevtushenko and
Gregor von Bochmann},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {Diagnosing Multiple Faults in Communicating Finite State Machines},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {85--100},
publisher = {Kluwer},
year = {2001},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/El-FakihYB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/GaravelL01,
author = {Hubert Garavel and
Fr{\'{e}}d{\'{e}}ric Lang},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {{SVL:} {A} Scripting Language for Compositional Verification},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {377--394},
publisher = {Kluwer},
year = {2001},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/GaravelL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Hsiung01,
author = {Pao{-}Ann Hsiung},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {Formal Synthesis and Control of Soft Embedded Real-Time Systems},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {35--52},
publisher = {Kluwer},
year = {2001},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Hsiung01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/KhendekBV01,
author = {Ferhat Khendek and
Stephan Bourduas and
Daniel Vincent},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {Stepwise Design with Message Sequence Charts},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {19--34},
publisher = {Kluwer},
year = {2001},
timestamp = {Fri, 23 Dec 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/KhendekBV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/KongN01,
author = {Xiaohua Kong and
Radu Negulescu},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {Formal Verification of Peephole Optimizations in Asynchronous Circuits},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {219--234},
publisher = {Kluwer},
year = {2001},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/KongN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/LeeCKPS01,
author = {Insup Lee and
Jin{-}Young Choi and
Hee{-}Hwan Kwak and
Anna Philippou and
Oleg Sokolsky},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {A Family of Resource-Bound Real-Time Process Algebras},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {443--458},
publisher = {Kluwer},
year = {2001},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/LeeCKPS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/LeeH01,
author = {David Lee and
Ruibing Hao},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {Test Sequence Selection},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {269--284},
publisher = {Kluwer},
year = {2001},
timestamp = {Mon, 30 Jan 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/LeeH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Luukkainen01,
author = {Matti Luukkainen},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {Verification of Dense Time Properties using Theories of Untimed Process
Algebra},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {353--368},
publisher = {Kluwer},
year = {2001},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Luukkainen01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/MoriTTHH01,
author = {Takanori Mori and
K. Tokuda and
Harumasa Tada and
Masahiro Higuchi and
Teruo Higashino},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {A Method to Generate Conformance Test Sequences for {FSM} with Timer
System Call},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {301--318},
publisher = {Kluwer},
year = {2001},
timestamp = {Tue, 04 Apr 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/MoriTTHH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/NakataH01,
author = {Akio Nakata and
Teruo Higashino},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {Deriving Parameter Conditions for Periodic Timed Automata Satisfying
Real-Time Temporal Logic Formulas},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {151--168},
publisher = {Kluwer},
year = {2001},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/NakataH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/NunezR01,
author = {Manuel N{\'{u}}{\~{n}}ez and
Ismael Rodr{\'{\i}}guez},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {{PAMR:} {A} Process Algebra for the Management of Resources in Concurrent
Systems},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {169--184},
publisher = {Kluwer},
year = {2001},
timestamp = {Fri, 25 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/NunezR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Rusu01,
author = {Vlad Rusu},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {Verifying a Sliding Window Protocol using {PVS}},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {251--268},
publisher = {Kluwer},
year = {2001},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Rusu01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/SalahDL01,
author = {Aziz Salah and
Rachida Dssouli and
Guy Lapalme},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {Compiling Real-Time Scenarios into a Timed Automaton},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {135--150},
publisher = {Kluwer},
year = {2001},
timestamp = {Fri, 27 Feb 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/SalahDL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/TwarokLK01,
author = {Sven Twarok and
Peter Langend{\"{o}}rfer and
Hartmut K{\"{o}}nig},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {Automated Derivation of {ILP} Implementations from {SDL} Specifications},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {3--18},
publisher = {Kluwer},
year = {2001},
timestamp = {Tue, 19 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/TwarokLK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Ultes-NitscheJ01,
author = {Ulrich Ultes{-}Nitsche and
Simon St. James},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {Testing Liveness Properties: Approximating Liveness Properties by
Safety Properties},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {369--376},
publisher = {Kluwer},
year = {2001},
timestamp = {Wed, 17 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/Ultes-NitscheJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/VihoBT01,
author = {C{\'{e}}sar Viho and
S{\'{e}}bastien Barbin and
L{\'{e}}naick Tanguy},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {Towards a Formal Framework for Interoperability Testing},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {53--68},
publisher = {Kluwer},
year = {2001},
timestamp = {Tue, 19 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/VihoBT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Wang01,
author = {Farn Wang},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {Symbolic Verification of Complex Real-Time Systems with Clock-Restriction
Diagram},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {235--250},
publisher = {Kluwer},
year = {2001},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Wang01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Wehrheim01,
author = {Heike Wehrheim},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {Patterns and Rules for Behavioural Subtyping},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {335--352},
publisher = {Kluwer},
year = {2001},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Wehrheim01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Wing01,
author = {Jeannette M. Wing},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {Survivability Analysis of Networked Systems},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {459},
publisher = {Kluwer},
year = {2001},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Wing01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/WuZY01,
author = {Jianping Wu and
Yixin Zhao and
Xia Yin},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {From Active to Passive: Progress in Testing of Internet Routing Protocols},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {101--118},
publisher = {Kluwer},
year = {2001},
timestamp = {Wed, 23 May 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/WuZY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2001,
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
publisher = {Kluwer},
year = {2001},
isbn = {0-7923-7470-3},
timestamp = {Mon, 05 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/2001.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-29 15:58 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:
