A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours

Research output: Contribution to journal › Article › peer-review

49 Downloads (Pure)

Original language	English
Pages (from-to)	97-111
Number of pages	15
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8902
DOIs	https://doi.org/10.1007/978-3-662-45917-1_7
Publication status	E-pub ahead of print - 23 Dec 2014
Event	9th International Symposium on Trustworthy Global Computing - Duration: 5 Sept 2014 → 6 Sept 2014

Access to Document

@article{bb3636a193fd47089a7b0685cc7c2bd3,

title = "A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours",

author = "Vincenzo Ciancia and Matteo Sammartino",

year = "2014",

month = dec,

day = "23",

doi = "10.1007/978-3-662-45917-1\_7",

language = "English",

volume = "8902",

pages = "97--111",

journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

issn = "0302-9743",

publisher = "Springer Verlag",

note = "9th International Symposium on Trustworthy Global Computing ; Conference date: 05-09-2014 Through 06-09-2014",

}

TY - JOUR

T1 - A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours

AU - Ciancia, Vincenzo

AU - Sammartino, Matteo

PY - 2014/12/23

Y1 - 2014/12/23

U2 - 10.1007/978-3-662-45917-1_7

DO - 10.1007/978-3-662-45917-1_7

M3 - Article

AN - SCOPUS:84996567023

SN - 0302-9743

VL - 8902

SP - 97

EP - 111

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

T2 - 9th International Symposium on Trustworthy Global Computing

Y2 - 5 September 2014 through 6 September 2014

ER -