Formal Methods in System Design
- 2013: Volumes 42, 43
- 2012: Volumes 40, 41
- 2011: Volumes 38, 39
- 2010: Volumes 36, 37
- 2009: Volumes 34, 35
- 2008: Volumes 32, 33
- 2007: Volumes 30, 31
- 2006: Volumes 28, 29
- 2005: Volumes 26, 27
- 2004: Volumes 24, 25
- 2003: Volumes 22, 23
- 2002: Volumes 20, 21
- 2001: Volumes 18, 19
- 2000: Volumes 16, 17
- 1999: Volumes 14, 15
- 1998: Volumes 12, 13
- 1997: Volumes 10, 11
- 1996: Volumes 8, 9
- 1995: Volumes 6, 7
- 1994: Volumes 4, 5
- 1993: Volumes 2, 3
- 1992: Volume 1
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team