Inssi

Helecon

Tenttu

search query: @instructor Lilius, Johan / total: 5

references: 1-5 / 5

« previous page | next page »

	title	year	author
1.	Barnvänlighet i stadsplaneringen: Case Busholmen	2016	Lundsten, Miriam
2.	Inverkan av tätt boende och tillhörande grönområden på dess invånare och miljön	2015	Roselius, Eric
3.	Model Checking the Branching Time Temporal Logic CTL	1997	Heljanko, Keijo
4.	Time processes of time Petri nets	1996	Aura, Tuomas
5.	An Interactive Theorem Prover for Linear Logic	1993	Patinen, Juha-Pekka

« previous page | next page »

INSSI