eprintid: 1344 rev_number: 9 eprint_status: archive userid: 40 dir: disk0/00/00/13/44 datestamp: 2012-09-13 10:40:49 lastmod: 2013-03-07 12:56:24 status_changed: 2012-09-13 10:40:49 type: conference_item metadata_visibility: show creators_name: Giorgetti, Alain creators_name: Senni, Valerio creators_id: creators_id: valerio.senni@imtlucca.it title: Specification and Validation of Algorithms Generating Planar Lehman Words ispublished: submitted subjects: QA75 divisions: CSA full_text_status: none pres_type: paper date: 2012-06 place_of_pub: Bordeaux, France event_title: GASCom'12, 8th International Conference on random generation of combinatorial structures event_location: LaBRI, Bordeaux event_dates: June 25-27, 2012 event_type: conference refereed: TRUE related_url_url: http://gascom2012.labri.fr/wp-content/uploads/2012/07/Giorgetti.pdf related_url_type: org citation: Giorgetti, Alain and Senni, Valerio Specification and Validation of Algorithms Generating Planar Lehman Words. In: GASCom'12, 8th International Conference on random generation of combinatorial structures, June 25-27, 2012, LaBRI, Bordeaux (Submitted) (2012)