CITATION STYLE
Garavel, H., Mateescu, R., Bergamini, D., Curic, A., Descoubes, N., Joubert, C., … Stragier, G. (2006). DISTRIBUTOR and BCG_MERGE: Tools for distributed explicit state space generation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3920 LNCS, pp. 445–449). https://doi.org/10.1007/11691372_30
Mendeley helps you to discover research relevant for your work.