1
Active Object Languages: Current Research Trends [E-Book] /
Other Personal Name(s): “...de Boer, Frank...”

Full text 
Favorites
Saved in:
2
FM 2015: Formal Methods [E-Book] : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /
Other Personal Name(s): “...de Boer, Frank....”

Full text 
Favorites
Saved in:
3
Formal Methods for Components and Objects [E-Book] : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
Other Personal Name(s): “...Boer, Frank S....”

Full text 
Favorites
Saved in:
4
Formal Methods for Components and Objects [E-Book] : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
Other Personal Name(s): “...Boer, Frank S....”

Full text 
Favorites
Saved in:
5
Formal Methods for Components and Objects [E-Book] : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers /
Other Personal Name(s): “...Boer, Frank S....”

Full text 
Favorites
Saved in:
6
Theoretical Computer Science : 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings [E-Book] /
Other Personal Name(s): “...Boer, Frank S....”

Full text 
Favorites
Saved in:
7
Formal Methods for Components and Objects [E-Book] : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /
Other Personal Name(s): “...Boer, Frank S....”

Full text 
Favorites
Saved in:
8
Formal Methods for Components and Objects [E-Book] : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures /
Other Personal Name(s): “...Boer, Frank S....”

Full text 
Favorites
Saved in:
9
Verification of Sequential and Concurrent Programs [E-Book] /
Other Personal Name(s): “...Boer, Frank S....”

Full text 
Favorites
Saved in:
10
Formal methods for components and objects [E-Book] : 5th international symposium Amsterdam, Netherlands, November 7-10, 2006 : FMCO 2006 : revised lectures /
Other Personal Name(s): “...DeBoer, Frank S....”

Full text 
Favorites
Saved in:
11
Formal Methods for Components and Objects [E-Book] : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /
Other Personal Name(s): “...Boer, Frank S....”

Full text 
Favorites
Saved in:
12
Formal Methods for Components and Objects (vol. # 4111) [E-Book] / 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
Other Personal Name(s): “...de Boer, Frank S....”

Full text 
Favorites
Saved in:
13
Formal Methods for Components and Objects (vol. # 3657) [E-Book] / Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
Other Personal Name(s): “...de Boer, Frank S....”

Full text 
Favorites
Saved in:
14
Formal Methods for Components and Objects [E-Book] : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures /
Other Personal Name(s): “...Boer, Frank S. de....”

Full text 
Favorites
Saved in:
15
Formal Methods for Components and Objects [E-Book] : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures /
Other Personal Name(s): “...Boer, Frank S.de....”

Full text 
Favorites
Saved in:

Narrow Search Results