TitleMutually Testing Processes
Publication TypeJournal Article
Year of Publication2015
AuthorsBernardi G, Hennessy M
JournalLogical Methods in Computer Science
Volume11
Issue2
Date Published2015
URLhttp://arxiv.org/abs/1502.06360