MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Formal Support for Design Techniques A Timethreads-LOTOS Approach." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 2 documents found, showing 1 through 2.
ATOM RSS
  • Formal support for design techniques: a Timethreads-LOTOS approach  
  • by Amyot Bordeleau Buhr, D. Amyot, F. Bordeleau, R. J. A. Buhr — 1996 — In: FORTE VIII, 8th International Conference on Formal Description Techniques, Chapman
  • …Formal support for design techniques: a Timethreads-LOTOS approach D. Amyot * , F. Bordeleau…
  • Add To MetaCart
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB