Research graph
References from A comparative study of two formal semantics of the SIGNAL language. Local targets link to admitted publications; unresolved targets remain external evidence.
Unresolved reference
1989 · External reference
Unresolved reference
2005 · External reference
10.1109/5.97299
10.1109/5.97299 · 1991 · External reference
10.1109/5.97300
10.1109/5.97300 · 1991 · External reference
10.1016/0167-6423(91)90001-e
10.1016/0167-6423(91)90001-e · 1991 · External reference
Unresolved reference
2010 · External reference
10.1109/mdt.2007.151
10.1109/mdt.2007.151 · 2007 · External reference
Unresolved reference
1999 · External reference
Unresolved reference
2010 · External reference
10.1007/978-1-4419-0941-1
10.1007/978-1-4419-0941-1 · 2010 · External reference
Unresolved reference
1991 · External reference
10.1142/s0218126603000763
10.1142/s0218126603000763 · 2002 · External reference
Unresolved reference
1998 · External reference
10.1007/bfb0055148
10.1007/bfb0055148 · 1998 · External reference
10.1007/3-540-44659-1_22
10.1007/3-540-44659-1_22 · 2000 · External reference
10.1007/978-3-662-07964-5
10.1007/978-3-662-07964-5 · 2004 · External reference
Unresolved reference
External reference
10.1016/0890-5401(92)90030-j
10.1016/0890-5401(92)90030-j · 1992 · External reference
10.1109/43.736561
10.1109/43.736561 · 1998 · External reference
Unresolved reference
2009 · External reference
Unresolved reference
2004 · External reference
10.1145/1376804.1376811
10.1145/1376804.1376811 · 2008 · External reference
Unresolved reference
2000 · External reference
Unresolved reference
2001 · External reference
Unresolved reference
2002 · External reference
Unresolved reference
2003 · External reference
Unresolved reference
2006 · External reference
Unresolved reference
2011 · External reference
Unresolved reference
2011 · External reference
