Sciweavers

Share
CTL.STIT: enhancing ATL to express important multi-agent system verification properties
Recent countries visiting this post
CTL.STIT: enhancing ATL to express important multi-agent system verification properties
us8United States
tr1Turkey
books