Introducing Fairness into Compositional Verification via Unidirectional Counters





Professorship/Faculty: Software Technologies  
Authors: Siirtola, Antti; Puhakka, Antti; Lüttgen, Gerald  
Title of the compilation: Proceedings, 2012 12th International Conference on Application of Concurrency to System Design : ACSD 2012 : 27-29 June 2012, Hamburg, Germany.
Corporate Body: 12th International Conference on Application of Concurrency to System Design (ACSD 2012)
Publisher Information: Hamburg
Year of publication: 2012
Pages / Size: S. 32 - 41: Ill.
ISBN: 978-0-7695-4709-1
Language(s): English
URL: http://www.swt-bamberg.de/luettgen/publications...
Document Type: Conferenceobject
URI: https://fis.uni-bamberg.de/handle/uniba/839
Release Date: 29. November 2012