TY  - GEN
DO  - 10.1007/978-3-662-43652-3
DO  - doi
T1  - Abstract state machines, Alloy, B, TLA, VDM, and Z4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings /
AU  - Aït-Ameur, Yamine,
AU  - Schewe, Klaus-Dieter,
VL  - 8477
CN  - SpringerLink
CN  - Q325.5
N1  - International conference proceedings.
N1  - Includes author index.
ID  - 705476
KW  - Machine learning
KW  - Machine theory
SN  - 9783662436523
SN  - 3662436523
TI  - Abstract state machines, Alloy, B, TLA, VDM, and Z4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-662-43652-3
UR  - https://univsouthin.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-662-43652-3
ER  -