Search dblp for Publications

export results for "protocol mechanic"

 download as .bib file

@article{DBLP:journals/bib/HanWCACYWL23,
  author       = {Yanqiang Han and
                  Zhilong Wang and
                  An Chen and
                  Imran Ali and
                  Junfei Cai and
                  Simin Ye and
                  Zhiyun Wei and
                  Jin{-}Jin Li},
  title        = {A deep transfer learning-based protocol accelerates full quantum mechanics
                  calculation of protein},
  journal      = {Briefings Bioinform.},
  volume       = {24},
  number       = {1},
  year         = {2023},
  url          = {https://doi.org/10.1093/bib/bbac532},
  doi          = {10.1093/BIB/BBAC532},
  timestamp    = {Mon, 18 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bib/HanWCACYWL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cmpb/AngLCWTCNZDC22,
  author       = {Christopher Yew Shuen Ang and
                  Jay Wing Wai Lee and
                  Yeong Shiong Chiew and
                  Xin Wang and
                  Chee Pin Tan and
                  Matthew E. Cove and
                  Mohd Basri Mat Nor and
                  Cong Zhou and
                  Thomas Desaive and
                  J. Geoffrey Chase},
  title        = {Virtual patient framework for the testing of mechanical ventilation
                  airway pressure and flow settings protocol},
  journal      = {Comput. Methods Programs Biomed.},
  volume       = {226},
  pages        = {107146},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.cmpb.2022.107146},
  doi          = {10.1016/J.CMPB.2022.107146},
  timestamp    = {Sun, 25 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cmpb/AngLCWTCNZDC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cmpb/LeeCWTNCDC22,
  author       = {Jay Wing Wai Lee and
                  Yeong Shiong Chiew and
                  Xin Wang and
                  Chee Pin Tan and
                  Mohd Basri Mat Nor and
                  Matthew E. Cove and
                  Nor Salwa Damanhuri and
                  J. Geoffrey Chase},
  title        = {Protocol conception for safe selection of mechanical ventilation settings
                  for respiratory failure Patients},
  journal      = {Comput. Methods Programs Biomed.},
  volume       = {214},
  pages        = {106577},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.cmpb.2021.106577},
  doi          = {10.1016/J.CMPB.2021.106577},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cmpb/LeeCWTNCDC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tsmc/ShangCWY22,
  author       = {Lin Shang and
                  Mingjie Cai and
                  Baofang Wang and
                  Jinpeng Yu},
  title        = {Adaptive Fault-Tolerant Fast Finite-Time Consensus Protocols for Multiple
                  Mechanical Systems With Output Constraints},
  journal      = {{IEEE} Trans. Syst. Man Cybern. Syst.},
  volume       = {52},
  number       = {9},
  pages        = {6028--6035},
  year         = {2022},
  url          = {https://doi.org/10.1109/TSMC.2021.3131989},
  doi          = {10.1109/TSMC.2021.3131989},
  timestamp    = {Mon, 14 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsmc/ShangCWY22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijsysc/CaiX20,
  author       = {Mingjie Cai and
                  Zhengrong Xiang},
  title        = {Adaptive practical fast finite-time consensus protocols for multiple
                  uncertain nonlinear mechanical systems},
  journal      = {Int. J. Syst. Sci.},
  volume       = {51},
  number       = {11},
  pages        = {1929--1944},
  year         = {2020},
  url          = {https://doi.org/10.1080/00207721.2020.1780515},
  doi          = {10.1080/00207721.2020.1780515},
  timestamp    = {Tue, 18 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijsysc/CaiX20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/BodeveixBCF19,
  author       = {Jean{-}Paul Bodeveix and
                  Julien Brunel and
                  David Chemouil and
                  Mamoun Filali},
  editor       = {Maurice H. ter Beek and
                  Annabelle McIver and
                  Jos{\'{e}} N. Oliveira},
  title        = {Mechanically Verifying the Fundamental Liveness Property of the Chord
                  Protocol},
  booktitle    = {Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019,
                  Porto, Portugal, October 7-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11800},
  pages        = {45--63},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30942-8\_5},
  doi          = {10.1007/978-3-030-30942-8\_5},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/BodeveixBCF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcc/VanduyfhuysVWWV18,
  author       = {Louis Vanduyfhuys and
                  Steven Vandenbrande and
                  Jelle Wieme and
                  Michel Waroquier and
                  Toon Verstraelen and
                  Veronique Van Speybroeck},
  title        = {Extension of the QuickFF force field protocol for an improved accuracy
                  of structural, vibrational, mechanical and thermal properties of metal-organic
                  frameworks},
  journal      = {J. Comput. Chem.},
  volume       = {39},
  number       = {16},
  pages        = {999--1011},
  year         = {2018},
  url          = {https://doi.org/10.1002/jcc.25173},
  doi          = {10.1002/JCC.25173},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcc/VanduyfhuysVWWV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/chiplay/CroonWWVA17,
  author       = {Robin De Croon and
                  Davina Wildemeersch and
                  Joris Wille and
                  Katrien Verbert and
                  Vero Vanden Abeele},
  editor       = {Gustavo Fortes Tondello and
                  Rita Orji and
                  Kellie Vella and
                  Daniel Johnson and
                  Marierose M. M. van Dooren and
                  Lennart E. Nacke},
  title        = {Anthropomorphism-Based Focus Group Protocol to Select Gamification
                  Mechanics},
  booktitle    = {Proceedings of the Positive Gaming: Workshop on Gamification and Games
                  for Wellbeing co-located with the {ACM} {SIGCHI} Annual Symposium
                  on Computer-Human Interaction in Play {(CHI} {PLAY} 2017), Amsterdam,
                  The Netherlands, October 15, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2055},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-2055/paper1.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:40 +0100},
  biburl       = {https://dblp.org/rec/conf/chiplay/CroonWWVA17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfi/CaiXG16,
  author       = {Mingjie Cai and
                  Zhengrong Xiang and
                  Jian Guo},
  title        = {Adaptive finite-time fault-tolerant consensus protocols for multiple
                  mechanical systems},
  journal      = {J. Frankl. Inst.},
  volume       = {353},
  number       = {6},
  pages        = {1386--1408},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.jfranklin.2016.02.011},
  doi          = {10.1016/J.JFRANKLIN.2016.02.011},
  timestamp    = {Fri, 01 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfi/CaiXG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/isci/ChooNW14,
  author       = {Kim{-}Kwang Raymond Choo and
                  Junghyun Nam and
                  Dongho Won},
  title        = {A mechanical approach to derive identity-based protocols from Diffie-Hellman-based
                  protocols},
  journal      = {Inf. Sci.},
  volume       = {281},
  pages        = {182--200},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.ins.2014.05.041},
  doi          = {10.1016/J.INS.2014.05.041},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isci/ChooNW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcnc/FilaliB14,
  author       = {Rajaa Filali and
                  Mohamed Bouhdadi},
  title        = {A Mechanically Proved and an Incremental Development of the Session
                  Initiation Protocol {INVITE} Transaction},
  journal      = {J. Comput. Networks Commun.},
  volume       = {2014},
  pages        = {352071:1--352071:11},
  year         = {2014},
  url          = {https://doi.org/10.1155/2014/352071},
  doi          = {10.1155/2014/352071},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcnc/FilaliB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/RochaM14,
  author       = {Camilo Rocha and
                  Jos{\'{e}} Meseguer},
  editor       = {Shusaku Iida and
                  Jos{\'{e}} Meseguer and
                  Kazuhiro Ogata},
  title        = {Mechanical Analysis of Reliable Communication in the Alternating Bit
                  Protocol Using the Maude Invariant Analyzer Tool},
  booktitle    = {Specification, Algebra, and Software - Essays Dedicated to Kokichi
                  Futatsugi},
  series       = {Lecture Notes in Computer Science},
  volume       = {8373},
  pages        = {603--629},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54624-2\_30},
  doi          = {10.1007/978-3-642-54624-2\_30},
  timestamp    = {Thu, 21 Sep 2023 09:08:34 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/RochaM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/PatraCCB14,
  author       = {Chiranjib Patra and
                  Samiran Chattopadhyay and
                  Matangini Chattopadhyay and
                  Parama Bhaumik},
  title        = {Understanding the Mechanics of Some Localized Protocols by Theory
                  of Complex Networks},
  journal      = {CoRR},
  volume       = {abs/1410.8007},
  year         = {2014},
  url          = {http://arxiv.org/abs/1410.8007},
  eprinttype    = {arXiv},
  eprint       = {1410.8007},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/PatraCCB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iacr/ChooNW14,
  author       = {Kim{-}Kwang Raymond Choo and
                  Junghyun Nam and
                  Dongho Won},
  title        = {A mechanical approach to derive identity-based protocols from Diffie-Hellman-based
                  protocols},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {358},
  year         = {2014},
  url          = {http://eprint.iacr.org/2014/358},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/ChooNW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcc/ZhuKHYC10,
  author       = {Xiao Zhu and
                  Peter H. Koenig and
                  Michael Hoffmann and
                  Arun Yethiraj and
                  Qiang Cui},
  title        = {Establishing effective simulation protocols for beta- and alpha/beta-peptides.
                  {III.} Molecular mechanical model for acyclic beta-amino acids},
  journal      = {J. Comput. Chem.},
  volume       = {31},
  number       = {10},
  pages        = {2063--2077},
  year         = {2010},
  url          = {https://doi.org/10.1002/jcc.21493},
  doi          = {10.1002/JCC.21493},
  timestamp    = {Wed, 25 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcc/ZhuKHYC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/allerton/HuiGBH09,
  author       = {Ka{-}Hung Hui and
                  Dongning Guo and
                  Randall Berry and
                  Martin Haenggi},
  title        = {Performance analysis of {MAC} protocols in wireless line networks
                  using statistical mechanics},
  booktitle    = {47th Annual Allerton Conference on Communication, Control, and Computing,
                  Allerton 2009, Monticello, IL, USA, September 30 - October 2, 2009},
  pages        = {1315--1322},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/ALLERTON.2009.5394523},
  doi          = {10.1109/ALLERTON.2009.5394523},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/allerton/HuiGBH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wotug/BadbanFP08,
  author       = {Bahareh Badban and
                  Wan J. Fokkink and
                  Jaco van de Pol},
  editor       = {Peter H. Welch and
                  Susan Stepney and
                  Fiona Polack and
                  Fred R. M. Barnes and
                  Alistair A. McEwan and
                  Gardiner S. Stiles and
                  Jan F. Broenink and
                  Adam T. Sampson},
  title        = {Mechanical Verification of a Two-Way Sliding Window Protocol},
  booktitle    = {The thirty-first Communicating Process Architectures Conference, {CPA}
                  2008, organised under the auspices of WoTUG and the Department of
                  Computer Science of the University of York, York, Yorkshire, UK, 7-10
                  September 2008},
  series       = {Concurrent Systems Engineering Series},
  volume       = {66},
  pages        = {179--202},
  publisher    = {{IOS} Press},
  year         = {2008},
  url          = {https://doi.org/10.3233/978-1-58603-907-3-179},
  doi          = {10.3233/978-1-58603-907-3-179},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wotug/BadbanFP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/FokkinkPP06,
  author       = {Wan J. Fokkink and
                  Jun Pang and
                  Jaco van de Pol},
  title        = {Cones and foci: {A} mechanical framework for protocol verification},
  journal      = {Formal Methods Syst. Des.},
  volume       = {29},
  number       = {1},
  pages        = {1--31},
  year         = {2006},
  url          = {https://doi.org/10.1007/s10703-006-0004-3},
  doi          = {10.1007/S10703-006-0004-3},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/FokkinkPP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ijcai/MaCM05,
  author       = {Xiaoqi Ma and
                  Xiaochun Cheng and
                  Rachel McCrindle},
  editor       = {Leslie Pack Kaelbling and
                  Alessandro Saffiotti},
  title        = {Knowledge Based Approach for Mechanically Verifying Security Protocols},
  booktitle    = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
                  on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
                  5, 2005},
  pages        = {1572--1573},
  publisher    = {Professional Book Center},
  year         = {2005},
  url          = {http://ijcai.org/Proceedings/05/Papers/post-0344.pdf},
  timestamp    = {Tue, 20 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/MaCM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/AbrialCM03,
  author       = {Jean{-}Raymond Abrial and
                  Dominique Cansell and
                  Dominique M{\'{e}}ry},
  title        = {A Mechanically Proved and Incremental Development of {IEEE} 1394 Tree
                  Identify Protocol},
  journal      = {Formal Aspects Comput.},
  volume       = {14},
  number       = {3},
  pages        = {215--227},
  year         = {2003},
  url          = {https://doi.org/10.1007/s001650300002},
  doi          = {10.1007/S001650300002},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/AbrialCM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/SimonsS01,
  author       = {David P. L. Simons and
                  Mari{\"{e}}lle Stoelinga},
  title        = {Mechanical verification of the {IEEE} 1394a root contention protocol
                  using Uppaal2k},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {3},
  number       = {4},
  pages        = {469--485},
  year         = {2001},
  url          = {https://doi.org/10.1007/s100090100059},
  doi          = {10.1007/S100090100059},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/SimonsS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/BellaP01,
  author       = {Giampaolo Bella and
                  Lawrence C. Paulson},
  editor       = {Richard J. Boulton and
                  Paul B. Jackson},
  title        = {Mechanical Proofs about a Non-repudiation Protocol},
  booktitle    = {Theorem Proving in Higher Order Logics, 14th International Conference,
                  TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2152},
  pages        = {91--104},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44755-5\_8},
  doi          = {10.1007/3-540-44755-5\_8},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/BellaP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icdcsw/ChkliaevSH00,
  author       = {Dmitri Chkliaev and
                  Peter van der Stok and
                  Jozef Hooman},
  editor       = {Ten{-}Hwang Lai},
  title        = {Mechanicak verification of a Nin-Blocking Atomic Commitment Protocol},
  booktitle    = {Proceedings of the 2000 {ICDCS} Workshops, April 10, 2000, Taipei,
                  Taiwan, {ROC}},
  pages        = {E96--E103},
  year         = {2000},
  timestamp    = {Mon, 22 Mar 2004 09:40:43 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcsw/ChkliaevSH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Moore94,
  author       = {J Strother Moore},
  title        = {A Formal Model of Asynchronous Communication and its Use in Mechanically
                  Verifying a Biphase Mark Protocol},
  journal      = {Formal Aspects Comput.},
  volume       = {6},
  number       = {1},
  pages        = {60--91},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01211081},
  doi          = {10.1007/BF01211081},
  timestamp    = {Mon, 19 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Moore94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftrtft/Shankar92,
  author       = {Natarajan Shankar},
  editor       = {Jan Vytopil},
  title        = {Mechanical Verification of a Generalized Protocol for Byzantine Fault
                  Tolerant Clock Synchronization},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {217--236},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_12},
  doi          = {10.1007/3-540-55092-5\_12},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Shankar92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tse/BlumerS86,
  author       = {Thomas P. Blumer and
                  Deepinder P. Sidhu},
  title        = {Mechanical Verification and Automatic Implementation of Communication
                  Protocols},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {12},
  number       = {8},
  pages        = {827--843},
  year         = {1986},
  url          = {https://doi.org/10.1109/TSE.1986.6312985},
  doi          = {10.1109/TSE.1986.6312985},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/BlumerS86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigcomm/DiVito83,
  author       = {Benedetto L. DiVito},
  editor       = {David C. Wood and
                  Simon S. Lam},
  title        = {Mechanical verification of a data transport protocol},
  booktitle    = {Proceedings of the symposium on Communications Architectures {\&}
                  Protocols, {SIGCOMM} 1983, Austin, Texas, USA, March 8-9, 1983},
  pages        = {30--37},
  publisher    = {{ACM}},
  year         = {1983},
  url          = {https://doi.org/10.1145/1035237.1035248},
  doi          = {10.1145/1035237.1035248},
  timestamp    = {Fri, 23 Jul 2021 15:35:16 +0200},
  biburl       = {https://dblp.org/rec/conf/sigcomm/DiVito83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cogsci/Luger81,
  author       = {George F. Luger},
  title        = {Mathematical Model Building in the Solution of Mechanics Problems:
                  Human Protocols and the {MECHO} Trace},
  journal      = {Cogn. Sci.},
  volume       = {5},
  number       = {1},
  pages        = {55--77},
  year         = {1981},
  url          = {https://doi.org/10.1111/j.1551-6708.1981.tb00870.x},
  doi          = {10.1111/J.1551-6708.1981.TB00870.X},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cogsci/Luger81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigsoft/DiVito81,
  author       = {Ben DiVito},
  title        = {A mechanical verification of the Alternating Bit Protocol},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {6},
  number       = {3},
  pages        = {8--13},
  year         = {1981},
  url          = {https://doi.org/10.1145/1010832.1010837},
  doi          = {10.1145/1010832.1010837},
  timestamp    = {Tue, 22 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/DiVito81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.