%0 Journal Article %1 journals/sttt/BerthelotP01 %A Berthelot, Gérard %A Petrucci, Laure %D 2001 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 4 %P 372-381 %T Specification and validation of a concurrent system: an educational project. %U http://dblp.uni-trier.de/db/journals/sttt/sttt3.html#BerthelotP01 %V 3

@article{journals/sttt/BerthelotP01, added-at = {2020-04-02T00:00:00.000+0200}, author = {Berthelot, Gérard and Petrucci, Laure}, biburl = {https://www.bibsonomy.org/bibtex/2c353e820bddde0ab4485363bab9b2c0c/dblp}, ee = {https://doi.org/10.1007/s100090100064}, interhash = {60eaaced6d4a0529af4d25cd3bf2dd7e}, intrahash = {c353e820bddde0ab4485363bab9b2c0c}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 4, pages = {372-381}, timestamp = {2020-04-03T11:54:41.000+0200}, title = {Specification and validation of a concurrent system: an educational project.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt3.html#BerthelotP01}, volume = 3, year = 2001 }