MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Abstract Model Checking of tccp programs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • Abstract Model Checking of tccp programs  
  • by María Alpuente, María Del Mar Gallardo, Ernesto Pimentel, Alicia Villanueva — 2004 — In Proc. of the 2nd Works. on Quantitative Aspects of Programming Languages (QAPL 2004), volume 112 of ENTCS
  • …Abstract Model Checking of tccp programs María Alpuente 1 ,2 1 ,3 María del Mar Gallardo Ernesto…
  • Cited by 3 (3 self) – Add To MetaCart
  • Theoretical Computer Science 346 (2005) 58 -- 95  
  • by Www Elsevier Com, María Alpuente A, María Del Mar Gallardo B, Ernesto Pimentel B, Alicia Villanueva A — 1995
  • … framework for the abstract model checking of tccp programs � María Alpuente a , María del Mar Gallardo b…
  • Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB