Theory of Timed I/o Automata, Second Edition
Publisher: Springer International Publishing AG
Published: 2010
Language: eng
ISBN-13: 9783031008757