TY  - CONF
TI  - Spin trail to a Message Sequence Chart conversion tool
AU  - Kovse, T.
AU  - Vlaovic, B.
AU  - Vreze, A.
AU  - Brezocnik, Z.
DA  - 8-10 June 2009
PY  - 2009
SP  - 125
EP  - 129
JO  - Telecommunications, 2009. ConTEL 2009. 10th International Conference on
UR  - http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=5206368&url=http%3A%2F%2Fieeexplore.ieee.org%2Fxpls%2Fabs_all.jsp%3Farnumber%3D5206368
SN  - 978-953-184-130-6
KW  - ISDN
KW  - software tools
KW  - ISDN User Adaptation protocol
KW  - message sequence chart conversion tool
KW  - spin trail
KW  - Biomedical applications of radiation
KW  - Computer errors
KW  - Computer science
KW  - Debugging
KW  - Formal verification
KW  - History
KW  - Mathematical model
KW  - Power engineering and energy
KW  - Protocols