Вы здесь

Muscholl A.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Specifying and Verifying Partial Order Properties Using Template MSCs 2004 Genest B., Minea M., Muscholl A., Peled D. Lecture Notes in Computer Science 30.04.2004
СТ Deterministic Asynchronous Automata for Infinite Traces 1994 Diekert V., Muscholl A. Acta Informatica 20.10.1994
СТ On the Complementation of Buchi Asynchronous Cellular Automata 1994 Muscholl A. Lecture Notes in Computer Science 09.08.1994