Publications (308)

Sort by: Date | Title
10 | 25 | 50 | 100 
First page Previous page30/31 Next page Last page
A Å B C D E F G H I J K L M N O P Q R S T U V W All 
D4 Published development or research report or study
Timing Analysis of UML Sequence Diagrams (1999)
Xuandong Li, Johan Lilius
D4 Published development or research report or study
Verifying Time Petri Nets by Linear Programming (1999)
Xuandong Li, Johan Lilius
D4 Published development or research report or study
vUML: a Tool for Verifying UML Models (1999)
Johan Lilius, Iván Porres Paltor
D4 Published development or research report or study
Coordination Among Mobile Objects (1998)
Petre L, Sere K
D4 Published development or research report or study
Why some entrepreneurs must rely on angels (1996)
Tom Berglund, Edvard Johansson
D4 Published development or research report or study
Oberon Animation System; Users Guide (1995)
Solin U, Aspnäs M
D4 Published development or research report or study
Analysis of Three-Dimensional Nuclear Data on a Transputer-Based Multiprocessor System (1991)
R.J.R. Back, M. Aspnäs, J. Granlund, J. Hattula, R. Julin, A. Lampinen, T. Lonnroth, P. Waxlax,
D4 Published development or research report or study
Millipede - A Programming Environment Providing Graphical Support for Parallel Programming (1991)
M. Aspnäs, R.J.R. Back, T. Långbacka
10 | 25 | 50 | 100 
First page Previous page30/31 Next page Last page
Share link Export