Qais
Quantitative analysis of interacting systems: foundations and algorithms
Login
|
Register
|
Print
Overview
Home
Project Description
Team
Research Team
Job Opportunities
Results
Publications
WorkBench
(Bi)simulations in KAT
Project Workshops
Research
»
QAIS
»
WebHome
»
WebSideBar
»
Team
»
Jobs
»
Publications
»
Workshops
Workshops
Workshop 0 : Braga, 17 October 2011, see program
here
.
Workshop 1 : Braga, 16-17 September 2013.
Workshop 2 : Lisbon, 15-16 September 2014 (dates to be confirmed)
r2 - 17 Sep 2013 - 14:38:17 -
JoseNunoOliveira
Copyright © by the contributing authors. Ideas, requests, problems?
Send feedback
.
Syndicate this site
RSS
ATOM