@inproceedings{b783ff835d4c4143bc4ed248c9d07e1c,
title = "All Linear-Time Congruences for Finite LTSs and Familiar Operators",
author = "Antti Valmari",
note = "Contribution: organisation=ohj,FACT1=1<br/>Publisher name: IEEE Computer Society; Application of Concurrency to System Design ; Conference date: 01-01-1900",
year = "2012",
doi = "10.1109/ACSD.2012.14",
language = "English",
isbn = "978-1-4673-1687-3",
series = "Application of Concurrency to System Design",
publisher = "IEEE Computer Society",
pages = "12--21",
booktitle = "Proceedings of the 12th International Conference on Application of Concurrency to System Design, ACSD 2012, 27-29 June 2012, Hamburg, Germany",
address = "United States",
}