Gallardo, M. del M., Joubert, C., Merino, P., Universidad de Málaga [Málaga] = University of Málaga [Málaga], & Lavoisier grant from the French Ministry of Foreign Affairs and Spanish MEC under grant TIN2004-7943-C04. (2006). Static Analysis using Parameterised Boolean Equation Systems. HAL CCSD, 2006. Retrieved from https:/ nria.hal.science nria-00080518
ISO-690 (author-date, English)GALLARDO, María del Mar, JOUBERT, Christophe, MERINO, Pedro, Universidad de Málaga [Málaga] = University of Málaga [Málaga] and Lavoisier grant from the French Ministry of Foreign Affairs and Spanish MEC under grant TIN2004-7943-C04, 2006. Static Analysis using Parameterised Boolean Equation Systems [online]. HAL CCSD, 2006. Available from: https:/ nria.hal.science nria-00080518
Modern Language Association 9th editionGallardo, M. del M., C. Joubert, P. Merino, Universidad de Málaga [Málaga] = University of Málaga [Málaga], and Lavoisier grant from the French Ministry of Foreign Affairs and Spanish MEC under grant TIN2004-7943-C04. Static Analysis using Parameterised Boolean Equation Systems. HAL CCSD, 2006., 2006, https:/ nria.hal.science nria-00080518.
Mohr Siebeck - Recht (Deutsch - Österreich)Gallardo, María del Mar/Joubert, Christophe/Merino, Pedro/Universidad de Málaga [Málaga] = University of Málaga [Málaga]/Lavoisier grant from the French Ministry of Foreign Affairs and Spanish MEC under grant TIN2004-7943-C04: Static Analysis using Parameterised Boolean Equation Systems, 2006.
Emerald - HarvardGallardo, M. del M., Joubert, C., Merino, P., Universidad de Málaga [Málaga] = University of Málaga [Málaga] and Lavoisier grant from the French Ministry of Foreign Affairs and Spanish MEC under grant TIN2004-7943-C04. (2006), Static Analysis using Parameterised Boolean Equation Systems, Vol. , HAL CCSD, 2006., available at: https:/ nria.hal.science nria-00080518.