| |
# of records = 16
homepages/49/1022 conf/fmics/2009 journals/entcs/AlpuenteFJV09 conf/fmics/AlpuenteFJV08 conf/iceccs/GallardoMJS07 conf/spin/GallardoJMS07 journals/entcs/GallardoJM07 conf/isola/GallardoJM06 conf/spin/JoubertM06 conf/tacas/GaravelMBCDJSS06 journals/corr/abs-cs-0606092 conf/pdp/JoubertM05 conf/tacas/BergaminiDJM05 journals/entcs/JoubertM05 conf/tacas/HermannsJ03 journals/entcs/Joubert03
Copyright © 2009-12-30 by Michael Ley (ley@uni-trier.de)