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

Vincenzo Ciancia, Matteo Sammartino

Research output: Contribution to journalArticlepeer-review

26 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)
Publication statusE-pub ahead of print - 23 Dec 2014
Event9th International Symposium on Trustworthy Global Computing -
Duration: 5 Sept 20146 Sept 2014

Cite this