Verfasser Suchresultate :: Subito Katalog

1

Special issue on graph transformation and visual modeling techniques (GT-VMT 2013) : [... 12th International Workshop on Graph Transformation and Visual Modeling Techniques ...,...

Veröffentlicht 2015

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

A telephone's system specification using graph grammars

von Ribeiro, Leila
Veröffentlicht 1996

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Extension of Prosoft in order to integrate correct software tools obtained from algebraic specifications

von Ribeiro, Leila
Veröffentlicht 1992

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Special issue graph transformation and visual modeling techniques (GT-VMT 2013) : [... 12th International Workshop on ... held on March 23 - 24 2013 as a satellite workshop of ET...

Veröffentlicht 2015

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Extension of PROSOFT in order to integrate correct software tools obtained from algebraic specification

von Ribeiro, Leila
Veröffentlicht 1992

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Extension of PROSOFT in order to integrate correct software tools obtained from algebraic specification

von Ribeiro, Leila
Veröffentlicht 1992

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

A telephone's system specification using graph grammars

von Ribeiro, Leila
Veröffentlicht 1996

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Parallel composition and unfolding semantics of graph grammars

von Ribeiro, Leila
Veröffentlicht 1996

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

<<A>> telephone's system specification using graph grammars

von Ribeiro, Leila
Veröffentlicht 1996

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Algebraic high-level nets and transformations with initial markings

von Ribeiro, Leila
Veröffentlicht 1994

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Module Integration Using Graph Grammars (MIGRATE)

von Cravo, Diogo Raphael
Veröffentlicht in SBMF (24. : 2021 : Online) Formal Methods: Foundations and Applications (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Formal development of concurrent systems using algebraic high-level nets and transformations

von Ribeiro, Leila
Veröffentlicht 1993

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Algebraic high level nets : Petri nets revisited

von Ehrig, Hartmut
Veröffentlicht 1993

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Formal development of concurrent systems using algebraic high-level nets and transformations

von Ribeiro, Leila
Veröffentlicht 1993

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Algebraic high level net transformation systems

von Padberg, Julia
Veröffentlicht 1993

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Algebraic high-level net transformation systems

von Padberg, Julia
Veröffentlicht 1993

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Algebraic high level nets : Petri nets revisited

von Ehrig, Hartmut
Veröffentlicht 1993

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Formal development of concurrent systems using algebraic high level nets and transformations

von Ribeiro, Leila
Veröffentlicht 1993

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Algebraic high level nets : Petri nets revisited

von Ehrig, Hartmut
Veröffentlicht 1993

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Algebraic high level net transformation systems

von Padberg, Julia
Veröffentlicht 1993

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: