Macquarie University, Sydney Macquarie University ResearchOnline

Rabehaja, Mananjanahary Tahiry

Statistics
Title Hits Visitors Downloads
Algebraic verification of probabilistic and concurrent systems 345 675 337
Repository Search URL

Rabehaja, Mananjanahary Tahiry

Formatted Bibliography URL

Rabehaja, Mananjanahary Tahiry

Bibliography Script

To include a live feed of this author's bibliography on a static Web page (e.g., a personal home page), add the following JavaScript include to the body of the HTML.