Abinoam P. Marques Jr.

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Artifact Centric

Computation Tree Logic

Reactive Systems

Bounded Model Checking

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Abinoam P. Marques Jr., Anders P. Ravn, Jirí Srba, Muhammad Saleem Vighio
Model-checking web services business activity protocols. Int. J. Softw. Tools Technol. Transf. 15 (2) (2013)