eprintid: 2559 rev_number: 8 eprint_status: archive userid: 6 dir: disk0/00/00/25/59 datestamp: 2015-02-06 11:43:48 lastmod: 2015-02-06 11:43:48 status_changed: 2015-02-06 11:43:48 type: conference_item metadata_visibility: show creators_name: Tribastone, Mirco creators_id: mirco.tribastone@imtlucca.it title: The PEPA Plug-in project ispublished: unpub subjects: QA75 divisions: CSA full_text_status: none pres_type: paper date: 2006-06 date_type: published event_title: 6th Workshop on Process Algebra and Stochastically Timed Activities (PASTA) event_location: London, UK event_dates: June 2010 event_type: workshop refereed: FALSE citation: Tribastone, Mirco The PEPA Plug-in project. In: 6th Workshop on Process Algebra and Stochastically Timed Activities (PASTA), June 2010, London, UK (Unpublished) (2006)