Publications (7)

Sort by: Date | Title
10 | 25 | 50 | 100 
Previous page Previous page1/1 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
Generalizing Action Systems to Hybrid Systems (1999)
Back R, Petre L, Porres Paltor I
D4 Published development or research report or study
Globalization and the human rights of women (2002)
Katarina Frostell
D4 Published development or research report or study
Generating Test Cases from Scenario-Based Formal Development (2008)
Qaisar A. Malik, Johan Lilius,Linas Laibinis
D4 Published development or research report or study
Generation of Structural VHDL Code with Library Components from Formal Event-B Models (2013)
Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere
D4 Published development or research report or study
Generating the Logicome of a Biological Network (2015)
Charmi Panchal, Sepinoud Azimi, Ion Petre
D4 Published development or research report or study
Generating the Logicome from Microarray Data (2017)
Charmi Panchal, Vladimir Rogojin
D4 Published development or research report or study
Grundkartering och bedömning av vattentäktspotential i fem åländska sjöar (2017)
Hans-Peter Huhtala
10 | 25 | 50 | 100 
Previous page Previous page1/1 Next page Last page
Share link Export