@inproceedings{Boerger*2000:ASM,
  title = "An {ASM} Semantics for {UML} Activity Diagrams and {UML} State Machines",
  author = "E. Boerger and A. Cavarra and E. Riccobene",
  year = "2000",
  booktitle = "ASM2000 Workshop",
  month = "MAR",
  note = "TIK Report Nr. 87, Computer Engineering and Networks Lab (TIK), Swiss Federal Institute of Technology (ETH) Zurich",
}