References
doi:
10.1007/978-3-319-46982-9_27
.
doi:
10.1007/978-3-319-21668-3_21
.
doi:
10.4204/EPTCS.174.3
.
doi:
10.1145/227595.227602
.
doi:
10.1007/978-3-642-19835-9_21
.
doi:
10.1109/CDC.2016.7798967
.
doi:
10.1007/978-3-319-24953-7_35
.
doi:
10.1109/EMSOFT.2015.7318257
.
doi:
10.1007/978-3-642-14295-6_17
.
doi:
10.1007/978-3-642-15297-9_9
.
doi:
10.1016/j.tcs.2009.06.021
.
doi:
10.1016/0022-0000(81)90036-2
.
doi:
10.1007/978-3-540-30206-3_12
.
doi:
10.1145/229542.229547
.
doi:
10.1145/2933575.2935317
.
doi:
10.1145/2185632.2185653
.
doi:
10.1109/TIT.2011.2182033
.
doi:
10.1145/2656045.2656061
.
doi:
10.1109/CDC.2013.6760488
.
Comments and questions to:
eptcs@eptcs.org
For website issues:
webmaster@eptcs.org