Lars Michael Kristensen

◀ ▶ joint publications with Brice Mitchell

> Home > Persons > Lars Michael Kristensen

Publications

2008
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/KristensenMZMG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/KristensenMZMG08
Lars Michael Kristensen, Peter Mechlenborg, Lin Zhang, Brice Mitchell, Guy Edward Gallasch:
Model-based development of a course of action scheduling tool. Int. J. Softw. Tools Technol. Transf. 10(1): 5-14 (2008)
2007
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/MitchellKZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/MitchellKZ07
Brice Mitchell, Lars Michael Kristensen, Lin Zhang:
Formal specification and state space analysis of an operational planning process. Int. J. Softw. Tools Technol. Transf. 9(3-4): 255-267 (2007)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.