Publications (115)

Sort by: Date | Title
10 | 25 | 50 | 100 
Previous page Previous page1/12 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 Y Z В Г К О С Э All 
A4 Conference proceedings
Testing of Toxicity in Cyanobacteria by Cellular Assays (1994)
J. E. Eriksson, D. M. Toivola, M. Reinikainen, C. M. I. Råbergh, J. A. O. Meriluoto
Woodhead Publishing Limited
A4 Conference proceedings
Time Processes for Time Nets (1997)
Tuomas Aura, Johan Lilius
Springer
View on publisher's site
A4 Conference proceedings
Timing analysis of UML sequence diagrams (1999)
Xuandong Li, Johan Lilius
Springer
View on publisher's site
A4 Conference proceedings
The Production Cell: An Exercise in the Formal Verification of a UML Model (2000)
Lilius J, Porres Paltor I
IEEE Computer Society
A4 Conference proceedings
The role of the International Flame Research Foundation's industrial networking activities in the dissemination of research information (2000)
Roberts PA, Hupa M, Thijssen NJW
INFORMACAO UTILIZACAO BIOMASSAINFUB
A4 Conference proceedings
The ERIKA accident and its effects on EU maritime regulation (2001)
Henrik Ringbom
A4 Conference proceedings
The sticky temperature of recovery boiler fireside deposits (2001)
Tran HN, Mao X, Kuhn DCS, Backman R, Hupa M
A4 Conference proceedings
The TACO Protocol Processor Simulation Environment (2001)
Seppo Virtanen, Johan Lilius
IEEE
View on publisher's site
A4 Conference proceedings
Towards a quantitative understanding of NOx and N2O emission formation in full-scale circulating fluidised bed combustors (2001)
Kilpinen P, Kallio S, Konttinen J, Mueller C, Jungar A, Hupa M, Amand LE, Leckner B
American Society of Mechanical Engineers, ASME
A4 Conference proceedings
Towards Efficient Code Synthesis from Statecharts (2001)
Dag Björklund, Johan Lilius, Ivan Porres
10 | 25 | 50 | 100 
Previous page Previous page1/12 Next page Last page
Share link Export