Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems (Lecture Notes in Computer Science)
Book Details
Author(s)Gabriele Puppis
PublisherSpringer
ISBN / ASIN3642118801
ISBN-139783642118807
MarketplaceFrance 🇫🇷
Description
LNAI 5955
