output
20022006
most citedQuark-model study of few-baryon systems

233 citations

researchers with a paper here
collaborating institutions
Showing 2005 · cs.LOShow all

1 paper · 2 filters

cs.LO2005★ 1 cited

Automatic Verification of Timed Concurrent Constraint Programs

Moreno Falaschi, Alicia Villanueva

The language Timed Concurrent Constraint (tccp) is the extension over time of the Concurrent Constraint Programming (cc) paradigm that allows us to specify concurrent systems where…