Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

On-the-fly model checking for time Petri nets

Subjects: *PETRI nets; *MATHEMATICAL models; *SET theory

  • Source: Theoretical Computer Science. Sep2009, Vol. 410 Issue 42, p4241-4261. 21p.

تفاصيل العنوان

×
Academic Journal

The unpredictable deviousness of models

Subjects: *MATHEMATICAL models; *ALGORITHMS; *COMPUTATIONAL biology

  • Source: Theoretical Computer Science. Nov2008, Vol. 408 Issue 2/3, p99-105. 7p.

تفاصيل العنوان

×
Academic Journal

Stability versus speed in a computable algebraic model

Subjects: *MATHEMATICAL models; *ALGORITHMS; *TURING machines

  • Source: Theoretical Computer Science. Feb2006, Vol. 351 Issue 1, p14-26. 13p.

تفاصيل العنوان

×
Academic Journal

On graph problems in a semi-streaming model

Subjects: *MATHEMATICAL models; *ALGORITHMS; *ALGEBRA

  • Source: Theoretical Computer Science. Dec2005, Vol. 348 Issue 2/3, p207-216. 10p.

تفاصيل العنوان

×
  • 1-10 of  136 نتائج ل ""Mathematical models""