Searching for "Slicing Abstract State Machines." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

A Polynomial-Time Slicing Algorithm
by Antje Nowack Mathematische, Antje Nowack
… have introduced slicing for Abstract State Machines (ASMs). The idea of this concept is analogous…
Add To MetaCart

Abstract State Machines: Verification Problems and Computational Power
by Von Der Fakultät Für Mathematik, Informatik Und, Naturwissenschaften Der Rheinisch-westfälischen Technischen, Antje Nowack, Aus Düsseldorf, Berichter Universitätsprofessor, Dr. Erich Grädel, Universitätsprofessor Dr, Wolfgang Thomas
… . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104 III Slicing Abstract State Machines 105 9 Introduction to Slicing 107 9.1 Motivation of Slicing…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB