Publications

Export 7 results:
Filters: Author is Caires, Luís  [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 
1
Caires, L., and V. T. Vasconcelos, "18th International Conference on Concurrency Theory", Information and Computation, vol. 208, no. 6: Academic Press, pp. 605, 2010.
S
Caires, L., and H. Torres Vieira, "SLMC: a tool for model checking concurrent systems against dynamical spatial logic specifications", Tools and Algorithms for the Construction and Analysis of Systems: Springer Berlin Heidelberg, pp. 485–491, 2012.