A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours. / Ciancia, Vincenzo; Sammartino, Matteo.

In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8902, 23.12.2014, p. 97-111.

Research output: Contribution to journalArticle

E-pub ahead of print

Documents

Original languageEnglish
Pages (from-to)97-111
Number of pages15
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8902
DOIs
Publication statusE-pub ahead of print - 23 Dec 2014
Event9th International Symposium on Trustworthy Global Computing -
Duration: 5 Sep 20146 Sep 2014
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 36026033