Introducing Fairness into Compositional Verification via Unidirectional Counters
Siirtola, Antti; Puhakka, Antti; Lüttgen, Gerald (2012): Introducing Fairness into Compositional Verification via Unidirectional Counters, in: Proceedings, 2012 12th International Conference on Application of Concurrency to System Design : ACSD 2012 : 27-29 June 2012, Hamburg, Germany., Hamburg, S. 32–41.
Faculty/Chair:
Author:
 ;  ; 
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:
Year of publication:
2012
Pages:
ISBN:
978-0-7695-4709-1
Language:
English
URL:
Type:
Conferenceobject
URI:
Activation date:
February 14, 2013

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/839