Computing behavioural relations, logically

TitleComputing behavioural relations, logically
Publication TypeJournal Articles
Year of Publication1991
AuthorsCleaveland R, Steffen B
JournalAutomata, Languages and Programming
Pagination127 - 138
Date Published1991///