|
S. Weir Mitchell / / Laura Dassow Walls --
|
1999
|
1
|
|
The S2 Action Function -- / 21.4.
|
2011
|
1
|
|
S2MART: Smart Sql to Map-Reduce Translators / / Narayan Gowraj [and others] --
|
2013
|
1
|
|
S2N: Model Transformation from SPIN to NuSMV / / (Tool Paper) /Yong Jiang and Zongyan Qiu
|
2012
|
1
|