%0 Conference Paper %1 conf/forte/AlcaldeCCKL04 %A Alcalde, Baptiste %A Cavalli, Ana R. %A Chen, Dongluo %A Khuu, Davy %A Lee, David %B FORTE %D 2004 %E de Frutos-Escrig, David %E Núñez, Manuel %I Springer %K dblp %P 150-166 %T Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach. %U http://dblp.uni-trier.de/db/conf/forte/forte2004.html#AlcaldeCCKL04 %V 3235 %@ 3-540-23252-4

@inproceedings{conf/forte/AlcaldeCCKL04, added-at = {2023-09-01T00:00:00.000+0200}, author = {Alcalde, Baptiste and Cavalli, Ana R. and Chen, Dongluo and Khuu, Davy and Lee, David}, biburl = {https://www.bibsonomy.org/bibtex/2693b647dcedd915a1d9253174f40ea7f/dblp}, booktitle = {FORTE}, crossref = {conf/forte/2004}, editor = {de Frutos-Escrig, David and Núñez, Manuel}, ee = {https://doi.org/10.1007/978-3-540-30232-2_10}, interhash = {4a4bfd06274a1d681ba29ba92e0acb51}, intrahash = {693b647dcedd915a1d9253174f40ea7f}, isbn = {3-540-23252-4}, keywords = {dblp}, pages = {150-166}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T23:43:04.000+0200}, title = {Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2004.html#AlcaldeCCKL04}, volume = 3235, year = 2004 }