Total public announcements

TitleTotal public announcements
Publication TypeConference Paper
Year of Publication2007
AuthorsSteiner, D, Studer, T
EditorArtemov, S, Nerode, A
Conference NameProceedings of Logical Foundations of Computer Science
Pagination498-511
PublisherSpringer
URLhttp://www.iam.unibe.ch/ltgpub/2007/ss07a.pdf
DOI10.1007/978-3-540-72734-7_35