Søren Christensen

Søren Christensen

  • Universitetsbyen 81, 1872, 231

    8000 Aarhus C

    Denmark

19872006

Research activity per year

Personal profile

Keywords

  • Communication protocols and network
  • Mobile systems and interfaces
  • Modelling and validation of distributed systems
  • Software specification and verification
  • Coloured Petri Nets

Fingerprint

Dive into the research topics where Søren Christensen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles