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

Vincenzo Ciancia, Matteo Sammartino

Research output: Contribution to journalArticlepeer-review

23 Downloads (Pure)
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

Cite this