References
doi:
10.1007/978-3-642-02658-4_10
.
doi:
10.1007/978-3-642-15643-4_6
.
doi:
10.1109/LICS.2005.53
.
doi:
10.1007/978-3-642-14295-6_35
.
doi:
10.1007/978-3-540-88387-6_5
.
doi:
10.1007/978-3-642-19237-1_13
.
doi:
10.1007/978-3-642-12002-2_36
.
doi:
10.1007/978-3-642-22110-1_41
.
doi:
10.1007/978-3-642-24372-1_31
.
doi:
10.1007/3-540-48224-5_33
.
doi:
10.1002/cpe.903
.
doi:
10.1007/978-3-540-71410-1_10
.
doi:
10.1007/978-3-540-75596-8_20
.
doi:
10.1016/j.sysconle.2004.10.002
.
doi:
10.1016/j.ipl.2004.01.004
.
doi:
10.1023/A:1015625600613
.
Comments and questions to:
eptcs@eptcs.org
For website issues:
webmaster@eptcs.org