| |
# of records = 12
homepages/87/6254 conf/fm/HjortRLPS09 journals/tcs/LarsenR08 conf/formats/JessenRLD07 conf/tacas/RasmussenBL07 conf/fsttcs/BouyerLMR06 journals/fmsd/RasmussenLS06 conf/formats/BehrmannLR05 conf/fossacs/LarsenR05 journals/sigmetrics/BehrmannLR05 conf/fmco/BehrmannLR04 conf/tacas/RasmussenLS04
Copyright © 2009-12-30 by Michael Ley (ley@uni-trier.de)