Search Results

Filter
  • 1-10 of  139 results for "eds"
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction*.

  • Source: Fundamenta Informaticae. 2021, Vol. 178 Issue 1/2, p31-57. 27p.

Record details

×
Academic Journal

Goals, arguments, and deception: A formal representation from the Aurangzeb project. I: An episode from the succession war.

  • Source: Journal of Intelligent & Fuzzy Systems. 2007, Vol. 18 Issue 3, p281-306. 26p. 1 Illustration, 5 Diagrams.

Record details

×
Academic Journal

Probabilistic Timed Automata with Clock-Dependent Probabilities.

  • Source: Fundamenta Informaticae. 2021, Vol. 178 Issue 1/2, p101-138. 38p.

Record details

×
Academic Journal

A Behavioural Theory of Recursive Algorithms.

  • Source: Fundamenta Informaticae. 2020, Vol. 177 Issue 1, p1-37. 37p.

Record details

×
Academic Journal

RIF: Reactive information flow labels.

  • Source: Journal of Computer Security. 2020, Vol. 28 Issue 2, p191-228. 38p.

Record details

×
Academic Journal

On Languages of P Automata.

  • Source: Fundamenta Informaticae. 2020, Vol. 171 Issue 1-4, p133-149. 17p.

Record details

×
Academic Journal

A Common Framework to Recognize Two-dimensional Languages*.

  • Source: Fundamenta Informaticae. 2020, Vol. 171 Issue 1-4, p1-17. 17p.

Record details

×
Academic Journal

The 3rd IJCAR Automated Theorem Proving Competition.

  • Source: AI Communications. 2007, Vol. 20 Issue 2, p117-126. 10p. 8 Charts.

Record details

×
Academic Journal

Interpreted Trajectories.

  • Source: Fundamenta Informaticae. 2006, Vol. 73 Issue 1-2, p81-97. 17p.

Record details

×
  • 1-10 of  139 results for "eds"