2012

18th IEEE International Conference on Networks, December 12-14, 2012, Singapore

IEEE International Conference on Networks (18th : 2012 : Singapore)

Piscataway, N.J. : IEEE, 2012

Request It 

1990

Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings

Berlin ; New York : Springer-Verlag, ©1990

 

2014

Formal techniques for distributed objects, components, and systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Co

FORTE (Conference) (34th : 2014 : Berlin, Germany)

Cham : Springer, [2014]

 

2015

Formal techniques for distributed objects, components, and systems : 35th IFIP WG 6.1 International Conference, FORTE 2015, held as part of the 10th International Federated Conference on Distributed C

FORTE (Conference) (35th : 2015 : Grenoble, France)

Cham : Springer, 2015

 

2017

Formal techniques for distributed objects, components, and systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed C

FORTE (Conference) (37th : 2017 : Neuchâtel, Switzerland)

Cham, Switzerland : Springer, 2017

 

2018

Formal techniques for distributed objects, components, and systems : 38th IFIP WG 6.1 International Conference, FORTE 2018, held as part of the 13th International Federated Conference on Distributed C

FORTE (Conference) (38th : 2018 : Madrid, Spain)

Cham : Springer, 2018

 

2019

Formal techniques for distributed objects, components, and systems : 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed C

FORTE Conference (39th : 2019 : Kongens Lyngby, Denmark)

Cham, Switzerland : Springer, [2019]

 

2020

Formal techniques for distributed objects, components, and systems : 40th IFIP WG 6.1 International Conference, FORTE 2020, held as part of the 15th International Federated Conference on Distributed C

FORTE Conference (40th : 2020 : Online)

Cham, Switzerland : Springer, 2020

 

2021

Formal techniques for distributed objects, components, and systems : 41st IFIP WG 6.1 international conference, FORTE 2021 : held as part of the 16th International Federated Conference on Distributed

FORTE Conference (41st : 2021 : Online)

Cham : Springer, [2021]

 

2023

Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023, held as part of the 18th International Federated Conference on Distributed C

FORTE Conference (43rd : 2023 : Lisbon, Portugal)

Cham : Springer, [2023]

 

2005

Formal techniques for networked and distributed systems--FORTE 2005 : 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings

FORTE 2005 (2005 : Taipei, Taiwan)



 

2006

Formal techniques for networked and distributed systems : FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedings

FORTE 2006 (2006 : Paris, France)



 

2007

Formal techniques for networked and distributed systems-- FORTE 2007 : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings

FORTE 2007 (2007 : Tallinn, Estonia)



 

2008

Formal techniques for networked and distributed systems--FORTE 2008 : 28th IFIP WG 6.1 international conference, Tokyo, Japan, June 10-13, 2008 : proceedings

FORTE 2008 (2008 : Tokyo, Japan)



 

2019

Foundations of security, protocols, and equational reasoning : essays dedicated to Catherine A. Meadows

Catherine Meadows Festschrift Symposium (2019 : Fredericksburg, Va.)

Cham, Switzerland : Springer, 2019