Search 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}
}