Lukoschus

#	Item
1	Utilizing Static Analysis for Programmable Logic Controllers S´ebastien Bornot Ralf Huuck † Ben Lukoschus Lehrstuhl f¨ur Softwaretechnologie Universit¨at Kiel Preußerstraße 1–9, DKiel, Germany seb rhu bls Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-09-25 05:57:33 Data types Type theory Theoretical computer science Program analysis Programming language implementation Abstract interpretation Type system Model checking Programming language Software engineering Computing Computer programming
2	Fur mites of the genus Schizocarpus Trouessart (Acari: Chirodiscidae) from the Eurasian beaver Castor fiber tuvinicus Lavrov (Rodentia: Castoridae) in the Azas River (Tuva Republic, Russia) Add to Reading List Source URL: www.mapress.com Language: English - Date: 2012-08-05 16:30:31 Laelapidae Lukoschus Eurasian Beaver Castoridae Fauna of Europe Beavers Fur trade