Towards Formal Verification of ToolBusScripts

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

Towards Formal Verification of ToolBusScripts

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)	160-166
Journal	Lecture Notes in Computer Science
Volume	5140
Publication status	Published - 2008

Bibliographical note

DBLP:conf/amast/FokkinkKLU08
Proceedings title: Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings
Publisher: Springer
Editors: J. Meseguer, G. Rosu

Cite this

@article{5823e3947bef49e6a74d1d1df3a50f7b,

title = "Towards Formal Verification of ToolBusScripts",

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

note = "DBLP:conf/amast/FokkinkKLU08 Proceedings title: Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings Publisher: Springer Editors: J. Meseguer, G. Rosu",

year = "2008",

language = "English",

volume = "5140",

pages = "160--166",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Verlag",

}

TY - JOUR

T1 - Towards Formal Verification of ToolBusScripts

AU - Fokkink, W.J.

AU - Klint, P.

AU - Lisser, B.

AU - Usenko, Y.S.

N1 - DBLP:conf/amast/FokkinkKLU08 Proceedings title: Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings Publisher: Springer Editors: J. Meseguer, G. Rosu

PY - 2008

Y1 - 2008

M3 - Article

VL - 5140

SP - 160

EP - 166

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -