Generation of LIME specifications from UML protocol state machines

Emil Auer Supervisor:Ivan Porres, Generation of LIME specifications from UML protocol state machines . 2009.

BibTeX entry:

@MASTERSTHESIS{952748,
  title = {Generation of LIME specifications from UML protocol state machines },
  author = {Auer, Emil},
  supervisor(s) = {Porres, Ivan},
  school = {Åbo Akademi University},
  year = {2009},
  keywords = {SM2LIME},
}