MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Arne Skou" – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 16 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Modelling and Analysis of a Collision  
  • by Avoidance Protocol Using, Henrik Ejersbo, Jensen Kim, G. Larsen, Arne Skou
  • … Jensen Kim G. Larsen Arne Skou BRICS, Aalborg University, Denmark, E-mail: fejersbo…
  • Add To MetaCart
  • Time-Optimal Test Cases for RealTime Systems  
  • by Anders Hessel, Kim G. Larsen, Brian Nielsen, Paul Pettersson, Arne Skou — 2003 — In 3rd International Workshop on Formal approaches to Testing of Software (FATES 2003
  • … , Paul Pettersson 1 , and Arne Skou 2 1 Department of Information Technology, Uppsala University, P…
  • Cited by 1 (1 self)Add To MetaCart
  • Wot - a Language for Behavioral Abstractions in Causality Graphs  
  • by Mikkel Christiansen, Mikkel Christiansen, Jesper Langfeldt Hagen, Jesper Langfeldt Hagen, Kristian Qvistgaard Skov, Kristian Qvistgaard Skov, Arne Skou — 1997
  • … Kristian Qvistgaard Skov Supervisor: Arne Skou Number of prints: 9 Pages: 73 Abstract: The goal…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB