Sciweavers

3706 search results - page 68 / 742
» KtSeqC: System Description
Sort
View
MUC
1992
15 years 1 months ago
BBN: description of the PLUM system as used for MUC-4
Damaris M. Ayuso, Sean Boisen, Heidi Fox, Herbert ...
CADE
2006
Springer
15 years 1 months ago
System Description: GCLCprover + GeoThms
Predrag Janicic, Pedro Quaresma