RPTU
University Library
Deutsch
Home
Search
Browse
Publish
FAQ
Faculties / Organisational entities
Kaiserslautern - Fachbereich Informatik
Refine
Author
Bredereke, Jan (3)
(remove)
Year of publication
1999
(2)
1996
(1)
Document Type
Article (3)
(remove)
Language
English
(2)
German
(1)
Has Fulltext
yes
(3)
Keywords
Network Protocols
(2)
Requirements/Specifications
(2)
Language Constructs
(1)
Faculty / Organisational entity
Kaiserslautern - Fachbereich Informatik
(3)
3
search hits
1
to
3
10
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
Specification, Detection and Resolution of IN Feature Interactions with Estelle
(1999)
Bredereke, Jan
;
Gotzhein, Reinhard
Increasing the Concurrency in Estelle
(1999)
Bredereke, Jan
;
Gotzhein, Reinhard
Eine Estelle-Erweiterung zur Steigerung der Nebenlaeufigkeit
(1996)
Bredereke, Jan
;
Gotzhein, Reinhard
1
to
3
Sitelinks
|
KLUEDO
Logo ©
Univerity Library of RPTU
,
OPUS
4 ©
KOBV
Login