You are here

Home

Publications

Export 1 results:
Filters: Keyword is Web-TLR  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
M. Alpuente, Ballis, D., Espert, J., and Romero, D. O., “Model-checking Web Applications with Web-TLR”, 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010). Springer, 2010.

created with Drupal | customized by Giovanni Bacci