"Transaction Protocol Verification with Labeled Synchronization Logic"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Communication Protocol Specification and Verification	Richard Lai; Ajin Jirachiefpattana	1998	Springer US
Secure Transaction Protocol Analysis: Models and Applications	Qingfeng Chen; Chengqi Zhang; Shichao Zhang	2008	Springer Berlin Heidelberg
Protocol Specification, Testing and Verification XIV	S.T. Vuong; Samuel T. Chanson	1995	Springer US
Protocol Specification, Testing and Verification XV	Piotr Dembinski; Marek Sredniawa	1st ed. 1996	Springer US
Protocol Specification, Testing and Verification, XII	R.J. Linn and M.Ü. Uyar	1992	Elsevier
Computer Network Time Synchronization: The Network Time Protocol	David L. Mills	March 24, 2006	CRC
Logic Synthesis and Verification	Soha Hassoun; Tsutomu Sasao	2002	Springer US
Logic synthesis and verification /	Hassoun, Soha.; Sasao, Tsutomu,	[2002], ©2002.	Kluwer Academic Publishers,
Sequential Logic Testing and Verification	Abhijit Ghosh; Srinivas Devadas; A. Richard Newton	1992	Springer US
Logic Synthesis and Verification Algorithms	Gary D. Hachtel; Fabio Somenzi	1996	Springer US
Computer logic,testing and verification	J. Paul Roth	1980	Pitman
Comfort care/do not resuscitate order verification protocol	Massachusetts. Office of Emergency Medical Services	1997	Massachusetts Dept. of Public Health, Office of Emergency Medical Services
Higher Order Logic and Hardware Verification	T. F. Melham	1993-11	Cambridge University Press
Logic design and verification using SystemVerilog /	Thomas, D. E.		CreateSpace
Higher Order Logic and Hardware Verification	T. F. Melham	2009	Cambridge Univ Pr
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification	Zhe Hou	1st ed. 2021	Springer International Publishing
The logic of God; theology and verification	Malcolm L. Diamond, Thomas V. Litzenburg	1975	Bobbs-Merrill
Learning with Partially Labeled and Interdependent Data	Massih-Reza Amini; Nicolas Usunier	2015	Springer International Publishing
Computer Network Time Synchronization: The Network Time Protocol on Earth and in Space	David L. Mills	2011	Routledge
Emergence: labeled autistic	Temple Grandin	1996	Warner Books
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Transaction Protocol Verification with Labeled Synchronization Logic	Mohsen Lesani	NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings	Julia M. Badger; Kristin Yvonne Rozier	1st ed. 2019	Springer International Publishing
Transaction verification		Foundations of Blockchain: The pathway to cryptocurrencies and decentralized blockchain applications	Koshik Raj	2019	Packt Publishing
Protocol Synchronization		The LOCUS Distributed System Architecture	Gerald J. Popek	0
Planning with Transaction Logic	Reza Basseda; Michael Kifer; Anthony J. Bonner	Web Reasoning and Rule Systems: 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings	Roman Kontchakov; Marie-Laure Mugnier	2014	Springer International Publishing
Verification with Temporal Logic		Principles of the Spin Model Checker	Mordechai Ben-Ari	2008	Springer London
Transaction Logic		Logic Programming: The 1997 International Symposium	Jan Maluszyński	1997	MIT Press,
Transaction Logic		Hands-On Smart Contract Development with Hyperledger Fabric V2: Building Enterprise Blockchain Applications	Matt Zand, Xun (Brian) Wu, Mark Anthony Morris	2021	O'Reilly Media
Transaction Logic		Hands-On Smart Contract Development with Hyperledger Fabric V2: Building Enterprise Blockchain Applications	Matt Zand, Xun (Brian) Wu, Mark Anthony Morris	2021	O'Reilly Media
Protocol Verification	Richard Lai; Ajin Jirachiefpattana	Communication Protocol Specification and Verification	Richard Lai; Ajin Jirachiefpattana	1998	Springer US
Verification of a Revised WAP Wireless Transaction Protocol	Steven Gordon; Lars Michael Kristensen; Jonathan Billington	Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings	Javier Esparza; Charles Lakos	2002	Springer Berlin Heidelberg
Chained Transaction Protocol Automated Verification Using Cl-AtSe	Cătălin V. Bîrjoveanu; Mirela Bîrjoveanu	E-Business and Telecommunications: 17th International Conference on E-Business and Telecommunications, ICETE 2020, Online Event, July 8–10, 2020, Revised Selected Papers	Mohammad S. Obaidat; Jalel Ben-Othman	1st ed. 2021	Springer International Publishing
Labeled Logic Programs	Steve Barker	Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings	Bart Demoen; Vladimir Lifschitz	2004	Springer Berlin Heidelberg
535 Transaction verification		Blockchain and Distributed Ledgers: Mathematics, Technology, and Economics	Alexander Lipton, Adrien Treccani	2021	World Scientific Publishing
Transaction Verification 158		Risk Based E-Business Testing (Artech House Computer Library, )	Paul Gerrard, Neil Thompson	2002	Artech House
Transaction Logic with External Actions	Ana Sofia Gomes; José Júlio Alferes	Logic Programming and Nonmonotonic Reasoning: 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011, Proceedings	James Delgrande; Wolfgang Faber	2011	Springer Berlin Heidelberg
Logic Verification	Xinghao Chen; Michael L. Bushnell	Efficient Branch and Bound Search with Application to Computer-Aided Design	Xinghao Chen; Michael L. Bushnell	1996	Springer US
Logic Verification	Wolfgang Kunz; Dominik Stoffel	Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques	Wolfgang Kunz; Dominik Stoffel	1997	Springer US
Logic Verification	Mitchell Aaron Thornton; Rolf Drechsler; D. Michael Miller	Spectral Techniques in VLSI CAD	Mitchell Aaron Thornton; Rolf Drechsler; D. Michael Miller	2001	Springer US
Logic Verification		Electronic Design Automation for IC System Design, Verification, and Testing	Luciano Lavagno; Igor L. Markov; Grant Martin; Louis K. Scheffer	2016	Routledge
Program Verification with Separation Logic	Radu Iosif	Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings	María del Mar Gallardo; Pedro Merino	1st ed. 2018	Springer International Publishing
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Transaction Protocol Verification with Labeled Synchronization Logic" - similar Books and Chapters