000000248 001__ 248
000000248 005__ 20180318102509.0
000000248 037__ $$aREP_WORK
000000248 245__ $$aFormal Methods for Communication Services
000000248 269__ $$a1999
000000248 260__ $$c1999
000000248 336__ $$aReports
000000248 700__ $$g105427$$aHubaux, Jean-Pierre$$0240456
000000248 909CO $$pIC$$preport$$ooai:infoscience.tind.io:248
000000248 909C0 $$0252614$$pLCA$$xUS00024
000000248 909C0 $$0252452$$pLCA1$$xU10426
000000248 937__ $$aLCA-REPORT-1999-016
000000248 970__ $$a395/LCA
000000248 973__ $$sPUBLISHED$$aEPFL
000000248 980__ $$aREPORT