Sign in
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)