| |
# of records = 9
homepages/17/5007 journals/jar/GiunchigliaPT01 conf/cav/CimattiGPPPRTY97 conf/frocos/GiunchigliaPT96 journals/jar/KaufmannP96 conf/aiia/ManzoP95 journals/amai/GiunchigliaAP95 conf/aiia/ManzoGAP93 conf/ictai/ArmandoP93
Copyright © 2010-01-02 by Michael Ley (ley@uni-trier.de)