Automated translation and analysis of a ToolBus script for auctions

W.J. Fokkink, P. Klint, B. Lisser, Y.S. Usenko

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	308-323
Journal	Lecture Notes in Computer Science
Volume	5961
Publication status	Published - 2009

Proceedings title: Proc. 3rd Symposium on Fundamentals of Software Engineering - FSEN'09
Publisher: Springer

Persistent URL (handle)

@article{59315469ef3b4ac6862e08101a0642ac,

title = "Automated translation and analysis of a ToolBus script for auctions",

author = "W.J. Fokkink and P. Klint and B. Lisser and Y.S. Usenko",

note = "Proceedings title: Proc. 3rd Symposium on Fundamentals of Software Engineering - FSEN'09 Publisher: Springer",

year = "2009",

language = "English",

volume = "5961",

pages = "308--323",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Verlag",

}

TY - JOUR

T1 - Automated translation and analysis of a ToolBus script for auctions

AU - Fokkink, W.J.

AU - Klint, P.

AU - Lisser, B.

AU - Usenko, Y.S.

N1 - Proceedings title: Proc. 3rd Symposium on Fundamentals of Software Engineering - FSEN'09 Publisher: Springer

PY - 2009

Y1 - 2009

M3 - Article

SN - 0302-9743

VL - 5961

SP - 308

EP - 323

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -