Volume 15, Issue 2 | International Journal on Software Tools for Technology Transfer

Search all International Journal on Software Tools for Technology Transfer articles

Volume 15, Issue 2

April 2013

TACAS 2011

Filter by

Volume:

Sort by

Date published:

New to old Old to new

4 articles in this issue

Tools for software verification
Parosh Aziz Abdulla
K. Rustan M. Leino
Introduction 03 March 2013 Pages: 85 - 88
CADP 2011: a toolbox for the construction and analysis of distributed processes
Hubert Garavel
Frédéric Lang
Wendelin Serwe
TACAS 2011 30 June 2012 Pages: 89 - 107
Büchi Store: an open repository of \(\omega \)-automata
Yih-Kuen Tsay
Ming-Hsien Tsai
Chi-Shiang Liu
TACAS 2011 03 February 2013 Pages: 109 - 123
Model-checking web services business activity protocols
Abinoam P. Marques Jr.
Anders P. Ravn
Saleem Vighio
TACAS 2011 13 April 2012 Pages: 125 - 147