Sciweavers

41472 search results - page 223 / 8295
» or 2006
Sort
View
JCSS
2006
83views more  JCSS 2006»
13 years 9 months ago
TSP with bounded metrics
Lars Engebretsen, Marek Karpinski
JCSS
2006
51views more  JCSS 2006»
13 years 9 months ago
Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS
Gilles Geeraerts, Jean-François Raskin, Lau...
JCSS
2006
43views more  JCSS 2006»
13 years 9 months ago
Infinite-state high-level MSCs: Model-checking and realizability
Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Z...