Brahim Ghribi, Luigi Logrippo. A Validation Environment for LOTOS. In André A. S. Danthine, Guy Leduc, Pierre Wolper, editors, Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993. Volume C-16 of IFIP Transactions, pages 93-108, North-Holland, 1993.
@inproceedings{GhribiL93, title = {A Validation Environment for LOTOS}, author = {Brahim Ghribi and Luigi Logrippo}, year = {1993}, tags = {meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/GhribiL93}, cites = {0}, citedby = {0}, pages = {93-108}, booktitle = {Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993}, editor = {André A. S. Danthine and Guy Leduc and Pierre Wolper}, volume = {C-16}, series = {IFIP Transactions}, publisher = {North-Holland}, isbn = {0-444-81648-8}, }