2
Published 2014
Springer Berlin Heidelberg
... Processing, MSSP 2010, held in Lisbon, Portugal, in September 2010. The 9 revised papers included...

3
Published 2019
Springer International Publishing
... Verification, RV 2019, held in Porto, Portugal, in October 2019. The 25 regular papers presented in this book...

5
Published 2019
Springer International Publishing
... Modeling and Software Design, BMSD 2019, held in Lisbon, Portugal, in July 2019. It contains 12 full and 11...

6
Published 2011
Springer Berlin Heidelberg
... and Data Engineering, MEDI 2011, held in Óbidos, Portugal, in September 2011. The 18 revised full papers...

7
Published 1999
Springer Vienna
... and Verification ofInteractive Systems, DSV-IS'99, which was held at the Uni­ versity of Minho, Braga, Portugal...

9
Published 2009
Springer Berlin Heidelberg
... Models and Languages, COORDINATION 2009, held in Lisbon, Portugal, in June 2009, as one of the federated...

11
Published 2016
Springer International Publishing
... on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger...

12
Published 2014
Springer International Publishing
... Integration in the Life Sciences, DILS 2014, held in Lisbon, Portugal, in July 2014. The 9 revised full papers...

13
Published 2017
Springer International Publishing
... on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017. The 14 full...

14
by Peters, Carol
Published 2001
Springer Berlin Heidelberg
... was held from January to September 2000. The campaign cul- nated in a two-day workshop in Lisbon, Portugal...

15
Published 2007
Springer Berlin Heidelberg
... on Theory and Practice of Software (ETAPS) in Braga, Portugal, March 24–25, 2007. The symposium began with a...

16
Published 2009
Springer Berlin Heidelberg
... and Practice of Constraint Programming, CP 2009, held in Lisbon, Portugal in September 2009. The 61 revised...

18
Published 2017
Springer International Publishing
... Conference, EMCIS 2017, held in Coimbra, Portugal, in September 2017. EMCIS is focusing on approaches...

19
Published 2000
Springer Berlin Heidelberg
..., is being held this year in Lisbon, Portugal, following previous events in Pisa (1997), Heraklion (1998...

20
Published 2019
Springer International Publishing
... Aspects of Declarative Languages,PADL 2019, held in Lisbon, Portugal, in January 2019. The 14 revised full...