Tampere University of Technology

TUTCRIS Research Portal

All Linear-Time Congruences for Finite LTSs and Familiar Operators

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review


Original languageEnglish
Title of host publicationProceedings of the 12th International Conference on Application of Concurrency to System Design, ACSD 2012, 27-29 June 2012, Hamburg, Germany
Place of PublicationLos Alamitos, CA
PublisherIEEE Computer Society
ISBN (Electronic)978-0-7695-4709-1
ISBN (Print)978-1-4673-1687-3
Publication statusPublished - 2012
Publication typeA4 Article in a conference publication
EventApplication of Concurrency to System Design -
Duration: 1 Jan 1900 → …

Publication series

NameApplication of Concurrency to System Design
ISSN (Print)1550-4808


ConferenceApplication of Concurrency to System Design
Period1/01/00 → …

Publication forum classification

Field of science, Statistics Finland