Ulrik Nyman - Publications - Aalborg University's Research Portal

Ulrik Nyman Teaching Portfolio

View Scopus Profile

Phone+4599409985, 4089 2156, 9940 9985, 9940 9798
Emailulrikcs.aaudk
Websitehttp://people.cs.aau.dk/~ulrik

Selma Lagerløfs Vej 300, 2-2-38
9220 Aalborg Øst
Denmark
Selma Lagerløfs Vej 300, 2-2-38
9220 Aalborg Ø
Denmark
Selma Lagerlöfs Vej 300
9220 Aalborg Ø
Denmark

Research activity per year

1 results

Filter

2006
An Interface Theory for Input/Output Automata
Larsen, K. G., Nyman, U. & Wasowski, A., 2006, RS-06-10 ed. Århus: BRICS. 40 p.
Research output: Book/Report › Report › Research

Open Access
File
676 Downloads (Pure)