Contact and support
Need help, have a question, or want to contact the ResearchHub team?
© 2026 ResearchHub. Built for responsible scholarly connection.
Research graph
References from Scenario-based verification in presence of variability using a synchronous approach. Local targets link to admitted publications; unresolved targets remain external evidence.
10.1007/978-3-540-71437-8
10.1007/978-3-540-71437-8 · 2007 · External reference
Unresolved reference
2007 · External reference
Unresolved reference
2007 · External reference
10.1109/jproc.2002.805826
10.1109/jproc.2002.805826 · 2003 · External reference
Unresolved reference
External reference
Unresolved reference
1999 · External reference
Unresolved reference
2007 · External reference
10.1023/a:1011227529550
10.1023/a:1011227529550 · 2001 · External reference
Unresolved reference
2004 · External reference
Unresolved reference
2003 · External reference
10.1007/978-3-540-75209-7_38
10.1007/978-3-540-75209-7_38 · 2007 · External reference
Unresolved reference
1999 · External reference
10.1007/3-540-48683-6_10
10.1007/3-540-48683-6_10 · 1999 · External reference
10.1145/1509239.1509258
10.1145/1509239.1509258 · 2009 · External reference
Unresolved reference
2013 · External reference
Unresolved reference
2013 · External reference
Unresolved reference
2008 · External reference
10.1007/s10515-010-0075-7
10.1007/s10515-010-0075-7 · 2011 · External reference
Unresolved reference
2009 · External reference
Unresolved reference
2012 · External reference
Unresolved reference
1996 · External reference
Unresolved reference
2000 · External reference
Unresolved reference
2001 · External reference
10.1109/5.97297
10.1109/5.97297 · 1991 · External reference
10.1007/978-1-4757-2231-4
10.1007/978-1-4757-2231-4 · 1993 · External reference
Unresolved reference
2009 · External reference
10.1109/date.2011.5763284
10.1109/date.2011.5763284 · 2011 · External reference
Unresolved reference
2007 · External reference
10.1007/3-540-28901-1
10.1007/3-540-28901-1 · 2005 · External reference
10.1145/1183236.1183262
10.1145/1183236.1183262 · 2006 · External reference
10.1145/2362536.2362571
10.1145/2362536.2362571 · 2012 · External reference
Unresolved reference
2009 · External reference
Unresolved reference
2009 · External reference
10.1142/s0218126603000763
10.1142/s0218126603000763 · 2003 · External reference
10.1109/43.736561
10.1109/43.736561 · 1998 · External reference
10.1145/1542452.1542475
10.1145/1542452.1542475 · 2009 · External reference
Unresolved reference
External reference
Unresolved reference
2005 · External reference
10.1007/3-540-58468-4_163
10.1007/3-540-58468-4_163 · 1994 · External reference
Unresolved reference
2004 · External reference
Unresolved reference
2006 · External reference
10.1007/11554844_3
10.1007/11554844_3 · 2005 · External reference
Unresolved reference
1997 · External reference
Unresolved reference
1995 · External reference
Unresolved reference
External reference
10.1145/360825.360855
10.1145/360825.360855 · 1975 · External reference