The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase S-TLA (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1991-1994 (15) 1995-1997 (16) 1998-1999 (15) 2000-2003 (19) 2004-2005 (15) 2006-2007 (17) 2008-2009 (26) 2010-2012 (21) 2013-2014 (54) 2015-2016 (40) 2017-2018 (42) 2019-2020 (17) 2021-2022 (21) 2023-2024 (11)
Publication types (Num. hits)
article(55) book(1) incollection(1) inproceedings(266) phdthesis(2) proceedings(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 150 occurrences of 106 keywords

Results
Found 329 publication records. Showing 329 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
228Leslie Lamport Distributed algorithms in TLA (abstract). Search on Bibsonomy PODC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
95Hehua Zhang, Stephan Merz, Ming Gu 0001 Specifying and Verifying PLC Systems with TLA+. Search on Bibsonomy TASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
95Yuan Yu, Panagiotis Manolios, Leslie Lamport Model Checking TLA+ Specifications. Search on Bibsonomy CHARME The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
82Jean-Charles Grégoire TLA + PROMELA: Conjecture, Check, Proof, Engineering New Protocols Using Methods and Formal Notations. Search on Bibsonomy FME The full citation details ... 1997 DBLP  DOI  BibTeX  RDF keyword TLA+, refinement, implementation, SPIN, PROMELA, TLA
80Ondrej Rysavý, Jaroslav Ráb A formal model of composing components: the TLA+ approach. Search on Bibsonomy Innov. Syst. Softw. Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Composing specifications, Synchronous mode of executions, Temporal logic of actions, Component model, Hierarchical specifications
80Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification. Search on Bibsonomy ITNG The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
74Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu Checking Cache-Coherence Protocols with TLA+. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF TLC, model checking, cache coherence, TLA+
74Leslie Lamport The Temporal Logic of Actions. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF concurrent programming, safety properties, liveness properties
68Jan Täubrich, Reinhard von Hanxleden Formal Specification and Analysis of AFDX Redundancy Management Algorithms. Search on Bibsonomy SAFECOMP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Redundancy Management, AFDX, Model Checking, Case Study, TLA
68Bo Wang, Cornelis Pronk Design and implementation of a GUI for the TLC model checker. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2006 DBLP  DOI  BibTeX  RDF GraphViz, TLC, model checking, GUI, temporal logic, SML, TLA+
66Peter B. Ladkin, Leslie Lamport, Bryan Olivier, Denis Roegel Lazy Caching in TLA. Search on Bibsonomy Distributed Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
66Dominique Cansell, Dominique Méry Abstract Animator for Temporal Specifications: Application to TLA. Search on Bibsonomy SAS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
66Abdelillah Mokkedem, Michael J. Ferguson, Robert de B. Johnston A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol. Search on Bibsonomy FME The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
53Reino Kurki-Suonio Action systems in incremental and aspect-oriented modeling. Search on Bibsonomy Distributed Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Incremental modeling, Formal specification, Aspects, Action systems, Superposition, TLA
51Yassin Mokhtari, Stephan Merz Animating TLA Specifications. Search on Bibsonomy LPAR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
45Hui Kong 0004, Hehua Zhang, Xiaoyu Song, Ming Gu 0001, Jiaguang Sun 0001 Proving Computational Geometry Algorithms in TLA+2. Search on Bibsonomy TASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF algorithm verification, TLA+2, geometry algorithm, theorem proving, loop invariant
45Hongbing Wang, Qianzhao Zhou, Yanqi Shi Describing and Verifying Web Service Composition Using TLA Reasoning. Search on Bibsonomy IEEE SCC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Web service, service composition, OWL-S, verifying, TLA
45Shuai Luan, Yuliang Shi, Haiyang Wang A Mechanism of Modeling and Verification for SaaS Customization Based on TLA. Search on Bibsonomy WISM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Verification, Customization, SaaS, TLA
45Guodong Li, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby Formal specification of the MPI-2.0 standard in TLA+. Search on Bibsonomy PPoPP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model checking, formal specification, MPI, TLA+
44Slim Rekhis, Noureddine Boudriga A Temporal Logic-Based Model for Forensic Investigation in Networked System Security. Search on Bibsonomy MMM-ACNS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
44Robert Chebli, Abdallah Kassem, Mohamad Sawan Logarithmic programmable preamplifier dedicated to ultrasonic receivers. Search on Bibsonomy ISCAS (1) The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
44Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat Scheduling and Presenting Interactive Multimedia Documents. Search on Bibsonomy ICME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
44Denis Roegel Specifying Almost-Real Concurrent Object-Oriented Programs. Search on Bibsonomy PDP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF almost-real concurrent object-oriented programs, refinement chain, CTLA, structuring concerns, formal specification, parallel programming, parallel programming, object-oriented programming, specification, specification languages
44Todd Fine Defining Noninterference in the Temporal Logic of Actions. Search on Bibsonomy S&P The full citation details ... 1996 DBLP  DOI  BibTeX  RDF noninterference properties, temporal logic of actions, multilevel secure systems, formal specification, formal methods, temporal logic, composition, security of data, covert channels, definitions, specification refinement
44Joakim von Wright, Thomas Långbacka Using a Theorem Prover for Reasoning about Concurrent Algorithms. Search on Bibsonomy CAV The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
43Antoine Defourné Encodages de la théorie des ensembles de TLA+ pour la preuve automatique. (Encoding TLA+'s Set Theory for Automated Theorem Provers). Search on Bibsonomy 2023   RDF
43Jure Kukovec, Thanh-Hai Tran 0002, Igor Konnov 0001 Extracting Symbolic Transitions from TLA+ Specifications. Search on Bibsonomy ABZ The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
43Florent Chevrou, Aurélie Hurault, Philippe Mauran, Philippe Quéinnec Mechanized Refinement of Communication Models with TLA ^+ +. Search on Bibsonomy ABZ The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
43Stephan Merz, Hernán Vanzetto Encoding TLA ^+ + into Many-Sorted First-Order Logic. Search on Bibsonomy ABZ The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
43Hernán Vanzetto Proof automation and type synthesis for set theory in the context of TLA+. (Automatisation de preuves et synthèse de types pour la théorie des ensembles dans le contexte de TLA+). Search on Bibsonomy 2014   RDF
43Chris Newcombe Why Amazon Chose TLA +. Search on Bibsonomy ABZ The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
43Dominik Hansen, Michael Leuschel Translating B to TLA + for Validation with TLC. Search on Bibsonomy ABZ The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
38Ariel Cohen 0002, John W. O'Leary, Amir Pnueli, Mark R. Tuttle, Lenore D. Zuck Verifying Correctness of Transactional Memories. Search on Bibsonomy FMCAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF HTM, STM, TLC, model checking, Verification, transactional memory, TLA+
38Slim Rekhis, Noureddine Boudriga A formal logic-based language and an automated verification tool for computer forensic investigation. Search on Bibsonomy SAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF S-TLA+, S-TLC, formal forensic investigation, temporal logic of security actions
38Peter Baumann, Karl Lermer A Framework for the Specification of Reactive and Concurrent Systems in Z. Search on Bibsonomy FSTTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF formal methods, reactive systems, Z, TLA
36Hongbing Wang, Hui Liu, Xiaohui Guo Specify and Compose Web Services by TLA. Search on Bibsonomy ICWS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Hocine El-Habib Daho, Djilali Benhamamouch Formal Verification of ASM Models Using TLA+. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Gudmund Grov, Greg Michaelson, Andrew Ireland Formal verification of concurrent scheduling strategies using TLA. Search on Bibsonomy ICPADS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
36Nicolas Rivierre, François Horn, Frédéric Dang Tran On Monitoring Concurrent Systems with TLA: An Example. Search on Bibsonomy ACSD The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Yifeng Chen, Zhiming Liu 0001 From Durational Specifications to TLA Designs of Timed Automata. Search on Bibsonomy ICFEM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
36Leslie Lamport, John Matthews, Mark R. Tuttle, Yuan Yu Specifying and verifying systems with TLA+. Search on Bibsonomy ACM SIGOPS European Workshop The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
36Stephan Merz A More Complete TLA. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
36Leslie Lamport TLA in Pictures. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Concurrency, specification, temporal logic, state-transition diagrams
36Sara Kalvala A Formulation of TLA in Isabelle. Search on Bibsonomy TPHOLs The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
36Urban Engberg, Peter Grønning, Leslie Lamport Mechanical Verification of Concurrent Systems with TLA. Search on Bibsonomy CAV The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
30Leslie Lamport The PlusCal Algorithm Language. Search on Bibsonomy ICTAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
30Yuko Sakurai, Yasumasa Saito, Atsushi Iwasaki, Makoto Yokoo Sequential partition mechanism for strongly budget-balanced redistribution. Search on Bibsonomy AAMAS (2) The full citation details ... 2009 DBLP  BibTeX  RDF budget-balance, strategy-proofness, mechanism design, redistribution
30Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby An Approach to Formalization and Analysis of Message Passing Libraries. Search on Bibsonomy FMICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ananth Grama Building Verifiable Sensing Applications Through Temporal Logic Specification. Search on Bibsonomy International Conference on Computational Science (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Leslie Lamport The +CAL Algorithm Language. Search on Bibsonomy NCA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Philippe Collet, Alain Ozanne, Nicolas Rivierre Enforcing Different Contracts in Hierarchical Component-Based Systems. Search on Bibsonomy SC@ETAPS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Leslie Lamport The +CAL Algorithm Language. Search on Bibsonomy FORTE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Adrianna Alexander, Wolfgang Reisig Logic of Involved Variables - System Specification with Temporal Logic of Distributed Actions. Search on Bibsonomy ACSD The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30Ulka Shrotri, Purandar Bhaduri, R. Venkatesh 0001 Model Checking Visual Specification of Requirements. Search on Bibsonomy SEFM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30Yuguang Fang General Modeling and Performance Analysis for Location Management in Wireless Mobile Networks. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2002 DBLP  DOI  BibTeX  RDF pointer forwarding, two-location algorithm, wireless networks, mobile networks, Mobility management, location management, cost analysis
30Joseph E. Stoy, Xiaowei Shen, Arvind Proofs of Correctness of Cache-Coherence Protocols. Search on Bibsonomy FME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
30Holger Busch A Practical Method for Reasoning about Distributed Systems in a Theorem Prover. Search on Bibsonomy TPHOLs The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
30Thomas Långbacka A HOL Formalisation of the Temporal Logic of Actions. Search on Bibsonomy TPHOLs The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
30Limor Fix, Fred B. Schneider Reasoning about Programs by Exploiting the Environment. Search on Bibsonomy ICALP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
30Shengzong Zhou, Rob Gerth, Ruurd Kuiper 0001 Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract). Search on Bibsonomy CONCUR The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
23Robert Beers Pre-RTL formal verification: an intel experience. Search on Bibsonomy DAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF TLC, explicit state enumeration, microarchitecture verification, formal verification, protocol verification, TLA+
23Philippe Collet, Alain Ozanne, Nicolas Rivierre On contracting different behavioral properties in component-based systems. Search on Bibsonomy SAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF verification, component, contract, assertion, TLA
23Leslie Lamport Verification and Specifications of Concurrent Programs. Search on Bibsonomy REX School/Symposium The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Assertional methods, Owicki-Gries method, formal methods, temporal logic, fairness, mathematics, TLA
21Peng Gao, Chun-Lin Ji, Tao Yu, Ru-Yue Yuan YOLO-TLA: An Efficient and Lightweight Small Object Detection Model based on YOLOv5. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
21José E. Solsona On the specification and verification of the PCR parallel programming pattern in TLA+. Search on Bibsonomy CLEI Electron. J. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Tatjana Kapus Improved Formal Verification of SDN-Based Firewalls by Using TLA+. Search on Bibsonomy IEEE Access The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Paolo Dini, Manuel Bravo, Philipp Paulweber, Alexander Raschke, Gabriela Moreira Tutorial on the Executable ASM Specification of the AB Protocol and Comparison with TLA+. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Lingzhi Ouyang, Yu Huang 0002, Binyu Huang, Hengfeng Wei, Xiaoxing Ma Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Matthias Grundmann, Hannes Hartenstein Towards a Formal Verification of the Lightning Network with TLA+. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Markus A. Kuppe Teaching TLA+ to Engineers at Microsoft. Search on Bibsonomy FMTea The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Rodrigo Otoni, Igor Konnov 0001, Jure Kukovec, Patrick Eugster, Natasha Sharygina Symbolic Model Checking for TLA+ Made Faster. Search on Bibsonomy TACAS (1) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Lingzhi Ouyang, Yu Huang 0002, Binyu Huang, Xiaoxing Ma Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeperCoordination Service. Search on Bibsonomy SETTA The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21A. Finn Hackett, Joshua Rowe, Markus Alexander Kuppe Understanding Inconsistency in Azure Cosmos DB with TLA+. Search on Bibsonomy ICSE-SEIP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21A. Finn Hackett, Joshua Rowe, Markus Alexander Kuppe Understanding Inconsistency in Azure Cosmos DB with TLA+. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Igor Konnov 0001, Markus Kuppe, Stephan Merz Specification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPS. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Xiaosong Gu, Wei Cao, Yicong Zhu, Xuan Song, Yu Huang 0002, Xiaoxing Ma Compositional Model Checking of Consensus Protocols Specified in TLA+ via Interaction-Preserving Abstraction. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  BibTeX  RDF
21William Schultz, Ian Dardik, Stavros Tripakis Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Matthias Grundmann, Hannes Hartenstein Verifying Payment Channels with TLA+. Search on Bibsonomy ICBC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Igor Konnov 0001, Markus Kuppe, Stephan Merz Specification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPS. Search on Bibsonomy ISoLA (1) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Zeinab Nehaï, François Bobot, Sara Tucci Piergiovanni, Carole Delporte-Gallet, Hugues Fauconnier A TLA+ Formal Proof of a Cross-Chain Swap. Search on Bibsonomy ICDCN The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Gabriela Moreira, Cristiano D. Vasconcellos, Janine Kniess Fully-Tested code generation from TLA+ specifications. Search on Bibsonomy SAST The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Ryo Matsumoto, Shenghong Ye, Yuya Mikami, Kazutoshi Kato Model Development for Fast Wavelength Switching at Tunable DFB Laser Array (TLA). Search on Bibsonomy OECC/PSC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Madhusmita Das, Biju R. Mohan, Ram Mohana Reddy Guddeti Formal Specification and Verification of Drone System using TLA+: A Case Study. Search on Bibsonomy SNPD The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21William Schultz, Ian Dardik, Stavros Tripakis Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+. Search on Bibsonomy FMCAD The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Gasper Petelin, Gjorgjina Cenikj, Tome Eftimov TLA: Topological Landscape Analysis for Single-Objective Continuous Optimization Problem Instances. Search on Bibsonomy SSCI The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Luming Dong, Zhi Niu, Yong Zhu, Wei Zhang Specifying and Verifying SDP Protocol Based Zero Trust Architecture Using TLA+. Search on Bibsonomy ICCSIE The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Zhi Niu, Luming Dong, Yong Zhu, Li Chen Verifying Zookeeper based on Model-Based runtime Trace-Checking using TLA+. Search on Bibsonomy ICCSIE The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Markus Alexander Kuppe The TLA+ Debugger. Search on Bibsonomy SEFM Workshops The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Christos Grompanopoulos, Antonios Gouglidis, Anastasia Mavridou Specifying and verifying usage control models and policies in TLA+. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Tushar Sarkar, Nishant Rajadhyaksha TLA: Twitter Linguistic Analysis. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
21Smruti Padhy, Joe Stubbs Designing and Proving Properties of the Abaco Autoscaler Using TLA+. Search on Bibsonomy VSTTE The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Nawar H. Obeidat, Carla Purdy Improving Security in SCADA Systems through Model-checking with TLA+. Search on Bibsonomy MWSCAS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Brent Smith, Laura Milham Total Learning Architecture (TLA) Data Pillars and Their Applicability to Adaptive Instructional Systems. Search on Bibsonomy HCI (42) The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Leslie Lamport, Fred B. Schneider Verifying Hyperproperties With TLA. Search on Bibsonomy CSF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Young-Mi Kim, Miyoung Kang Formal Verification of SDN-Based Firewalls by Using TLA+. Search on Bibsonomy IEEE Access The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Jiaqi Yin, Huibiao Zhu, Yuan Fei Specification and Verification of the Zab Protocol with TLA+. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Gefei Zhang Specifying and Model Checking Workflows of Single Page Applications with TLA+. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
21Sangwon Seo, Sangbae Yun, Jaehong Kim 0006, Inkyo Kim, Seongwook Jin, Seungryoul Maeng H-TLA: Hybrid-Based and Two-Level Addressing Architecture for IoT Devices and Services. Search on Bibsonomy IEICE Trans. Inf. Syst. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Tatjana Kapus Specifying reversibility with TLA+. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Michael J. Butler, Alexander Raschke Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2018). Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 329 (100 per page; Change: )
Pages: [1][2][3][4][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license