A. Skou

发表

Arne Skou, Kim Guldstrand Larsen, Jens Chr. Godskesen, 1994 .
Kim G. Larsen, Arne Skou, K. Larsen, 1991, Inf. Comput..
Kim G. Larsen, Arne Skou, Anders Børjesson, 1992, Formal Methods Syst. Des..
Brian Nielsen, Andrzej Wasowski, Kim Guldstrand Larsen, 2003 .
Kim Guldstrand Larsen, Arne Skou, Klaus Havelund, 1997 .
Anders P. Ravn, Arne Skou, John Knudsen, 2006 .
Arne Skou, Klaus Havelund, Kim Guldstrand Larsen, 1999, ARTS.
Kim G. Larsen, Arne Skou, Henrik Ejersbo Jensen, 1996, The Spin Verification System.
Jos C. M. Baeten, Brian Nielsen, Nicolas Halbwachs, 2005 .
Torben Bach Pedersen, Laurynas Siksnys, Luis Lino Ferreira, 2017 .
A. Skou, Alessandro Tibo, Hessam Golmohamadi, 2022, Journal of Building Engineering.
A. Skou, M. Albano, Hessam Golmohamadi, 2022, Energy Inform..
A. Skou, M. Albano, Junior Dongo, 2021, IECON 2021 – 47th Annual Conference of the IEEE Industrial Electronics Society.
Kim G. Larsen, Arne Skou, K. Larsen, 1992, CONCUR.
Arne Skou, Kim Guldstrand Larsen, Henrik Ejersbo Jensen, 1996, The Spin Verification System.
Kim G. Larsen, Arne Skou, K. Larsen, 1989, POPL '89.
Kim G. Larsen, Arne Skou, Jens Chr. Godskesen, 1995, PSTV.
Kim G. Larsen, Marius Mikucionis, Brian Nielsen, 2005, EMSOFT.
Kim Guldstrand Larsen, Arne Skou, Jacob Illum Rasmussen, 2018, Model-Based Design for Embedded Systems.
Kim G. Larsen, Marius Mikucionis, Arne Skou, 2016, Sci. Comput. Program..
Kim G. Larsen, Marius Mikucionis, Brian Nielsen, 2010, ISoLA.
Arne Skou, Kim Guldstrand Larsen, Jens Chr. Godskesen, 1994 .
Kim G. Larsen, Axel Legay, Anders P. Ravn, 2012, International Journal on Software Tools for Technology Transfer.
Kim G. Larsen, Arne Skou, Klaus Havelund, 1997, Proceedings Real-Time Systems Symposium.
Kim G. Larsen, Arne Skou, Gerd Behrmann, 2000, Computer.
Brian Nielsen, Arne Skou, A. Skou, 2001, Proceedings 13th Euromicro Conference on Real-Time Systems.
Brian Nielsen, Arne Skou, A. Skou, 2001, International Journal on Software Tools for Technology Transfer.
Thibaut Le Guilly, A. Skou, J. Kjeldskov, 2016, Journal of Reliable Intelligent Environments.
Arne Skou, Thibaut Le Guilly, Thomas Pedersen, 2015, 2015 International Conference on Intelligent Environments.
Anders P. Ravn, Arne Skou, Petur Olsen, 2016, From Action Systems to Distributed Systems.
Anders P. Ravn, Arne Skou, Thibaut Le Guilly, 2015, 2015 10th International Joint Conference on Software Technologies (ICSOFT).
Anders P. Ravn, Arne Skou, Petur Olsen, 2015, ICSOFT.
Anders P. Ravn, Arne Skou, Petur Olsen, 2013, 2013 39th Euromicro Conference on Software Engineering and Advanced Applications.
Anders P. Ravn, Arne Skou, Petur Olsen, 2013, 2013 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops).
Kim G. Larsen, Marius Mikucionis, Brian Nielsen, 2008, Formal Methods and Testing.
Kim G. Larsen, Marius Mikucionis, Arne Skou, 2012, Science China Information Sciences.
Marius Mikucionis, Brian Nielsen, Kim Guldstrand Larsen, 2008 .
Anders P. Ravn, Arne Skou, John Knudsen, 2007, Formal Methods and Hybrid Real-Time Systems.
Anders P. Ravn, Arne Skou, Istvan Knoll, 2009, 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering.
Luis Lino Ferreira, Arne Skou, Michele Albano, 2016, 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA).
Marius Mikucionis, Insup Lee, Arne Skou, 2015, 2015 IEEE 18th International Symposium on Real-Time Distributed Computing.
A. Skou, L. Mokrushin, M. Leucker, 2007 .
Shaoying Liu, Anders P. Ravn, Arne Skou, 2015, 2015 41st Euromicro Conference on Software Engineering and Advanced Applications.
Arne Skou, Jørgen H. Andersen, Carsten H. Kristensen, 1996 .