@inproceedings{DBLP:conf/amast/BorgerCR00,
  title = "An {ASM} Semantics for {UML} Activity Diagrams",
  author = "Egon B{\"o}rger and Alessandra Cavarra and Elvinia Riccobene",
  year = "2000",
  booktitle = "Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27,
2000, Proceedings",
  editor = "Teodor Rus",
  isbn = "3-540-67530-2",
  pages = "293-308",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://link.springer.de/link/service/series/0558/bibs/1816/18160293.htm",
  volume = "1816",
}