%0 Journal Article %1 journals/cn/AlgayresCDGLR93 %A Algayres, Bernard %A Coelho, Veronigue %A Doldi, Laurent %A Garavel, Hubert %A Lejeune, Yves %A Rodríguez, Carlos %D 1993 %J Computer Networks and ISDN Systems %K dblp %N 7 %P 779-790 %T VESAR: A Pragmatic Approach to Formal Specification and Verification. %U http://dblp.uni-trier.de/db/journals/cn/cn25.html#AlgayresCDGLR93 %V 25

@article{journals/cn/AlgayresCDGLR93, added-at = {2019-01-22T00:00:00.000+0100}, author = {Algayres, Bernard and Coelho, Veronigue and Doldi, Laurent and Garavel, Hubert and Lejeune, Yves and Rodríguez, Carlos}, biburl = {https://www.bibsonomy.org/bibtex/2c0af8a19aa35d9c623722222fa6fc0a2/dblp}, ee = {https://doi.org/10.1016/0169-7552(93)90048-9}, interhash = {96a60d2d29a1a4b7574aab472c0a38ea}, intrahash = {c0af8a19aa35d9c623722222fa6fc0a2}, journal = {Computer Networks and ISDN Systems}, keywords = {dblp}, number = 7, pages = {779-790}, timestamp = {2019-01-23T11:36:53.000+0100}, title = {VESAR: A Pragmatic Approach to Formal Specification and Verification.}, url = {http://dblp.uni-trier.de/db/journals/cn/cn25.html#AlgayresCDGLR93}, volume = 25, year = 1993 }