@inproceedings{DBLP:conf/asm/FalcarinC03,
  title = "Specifying and Verifying the Parlay Call-Control Using {ASM}s",
  author = "Paolo Falcarin and Alessandra Cavarra",
  year = "2003",
  booktitle = "Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings",
  editor = "Egon B{\"o}rger and Angelo Gargantini and Elvinia Riccobene",
  isbn = "3-540-00624-9",
  pages = "411-412",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://link.springer.de/link/service/series/0558/bibs/2589/25890411.htm",
  volume = "2589",
}