ExplicitPRISMSymm: Symmetry Reduction Technique for Explicit Models in PRISM

Author(s):  
Reema Patel ◽  
Kevin Patel ◽  
Dhiren Patel
2012 ◽  
Vol 376 (26-27) ◽  
pp. 1966-1969 ◽  
Author(s):  
H. Aratyn ◽  
J.F. Gomes ◽  
A.H. Zimerman

2010 ◽  
Vol 130 (5) ◽  
pp. 479-480
Author(s):  
Takanori Uno ◽  
Kouji Ichikawa ◽  
Yuichi Mabuchi ◽  
Atushi Nakamura

2010 ◽  
Vol E93-B (7) ◽  
pp. 1788-1796 ◽  
Author(s):  
Takanori UNO ◽  
Kouji ICHIKAWA ◽  
Yuichi MABUCHI ◽  
Atsushi NAKAMURA ◽  
Yuji OKAZAKI ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document