Search Results for Semantics.

Select an Action

25 Results Found

1 2 3

0DEFAULT

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

25.

Bergstra, J. A.

Format:

Excerpt:

vertification (Groote, Reniers). Discrete time process algebra and the semantics of SDL (Bergstra, Middelburg

Select an Action

1 2 3

	{displayName}	{count}
{error}