70156168

a

70156168 Marcondes, Francisco Supino De Menezes Colonese, Emilia Vega, \'Italo Santiago Dias, Luiz Alberto Vieira Proposing a formal method to reduce RTS logical model complexity ITNG, 645-650 (2008). 2008 EN

http://doi.ieeecomputersociety.org/10.1109/ITNG.2008.202