Sciweavers

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