Sciweavers

13917 search results - page 83 / 2784
» Abstraction of Probabilistic Systems
Sort
View
CLEIEJ
2008
64views more  CLEIEJ 2008»
14 years 10 months ago
A Theory for Abstract Reduction Systems in PVS
André Luiz Galdino, Mauricio Ayala-Rinc&oac...