The UvA-LINKER will give you a range of other options to find the full text of a publication (including a direct link to the full-text if it is located on another database on the internet).
De UvA-LINKER biedt mogelijkheden om een publicatie elders te vinden (inclusief een directe link naar de publicatie online als deze beschikbaar is in een database op het internet).

Search results

Query: faculty: "FNWI" and publication year: "1995"

AuthorsD.F. Bosscher, A. Ponse
TitleTranslating a process algebra with symbolic data values to linear format
Book/source titleProceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Authors/EditorsU.H. Engberg, K.G. Larsen, A. Skou
PublisherBRICS Notes Series, University of Aarhus
Year1995
Pages119-130
FacultyFaculty of Science
Institute/dept.FNWI: Informatics Institute (II)
Document typeChapter
Document finderUvA-Linker