Publications

Export 16 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: Author is Jasen Markovski  [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 
V
J. Markovski and M. A. Reniers, “Verifying Performance of Supervised Plants”, in ACSD, 2012.
J. Markovski and M. A. Reniers, “Verifying Performance of Supervised Plants”, 2010 10th International Conference on Application of Concurrency to System Design, p. 52-61, 2012.