Synthesis of fault-tolerant distributed systems

Dimitrova, R. and Finkbeiner, B. (2009) Synthesis of fault-tolerant distributed systems. In: Liu, Z. and Ravn, A.P., (eds.) Automated Technology for Verification and Analysis - ATVA 2009. Automated Technology for Verification and Analysis - ATVA 2009, 14-16 Oct 2009, Macao, China. Lecture Notes in Computer Science (5799). Springer , pp. 321-336. ISBN 9783642047602

Abstract

Metadata

Authors/Creators:
  • Dimitrova, R.
  • Finkbeiner, B.
Copyright, Publisher and Additional Information: © 2009 Springer-Verlag. This is an author-produced version of a paper subsequently published in ATVA 2009 Proceedings. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: External Input; Synthesis Problem; Atomic Proposition; State Formula; Tree Automaton
Dates:
  • Published: 14 October 2009
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 07 Feb 2020 14:00
Last Modified: 11 Feb 2020 08:59
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number: https://doi.org/10.1007/978-3-642-04761-9_24

Share / Export

Statistics