Skip to main content
Műegyetemi Digitális Archívum
English
العربية
বাংলা
Català
Čeština
Deutsch
Ελληνικά
Español
Suomi
Français
Gàidhlig
हिंदी
Magyar
Italiano
Қазақ
Latviešu
Nederlands
Polski
Português
Português do Brasil
Srpski (lat)
Српски
Svenska
Türkçe
Yкраї́нська
Tiếng Việt
Log In
(current)
Communities & Collections
All of DSpace
Statistics
BME OMIKK
Home
1. Tudományos közlemények, publikációk
Műszaki tudományok
Villamosmérnöki tudományok
SEIS: a program control flow graph encoding algorithm for flow checking
SEIS: a program control flow graph encoding algorithm for flow checking
Files
Primary
B11_354886_TUB_TR_94_EE14.pdf
(2.88 MB)
Date
1994
Title
SEIS: a program control flow graph encoding algorithm for flow checking
Authors
Majzik István
Language
eng
Publisher
Technical University of Budapest
ISBN, e-ISBN
963-421-534-3
Note
Riport azonosító: TUB-TR-94-EE14
Gender
technical report
Cite this item
http://hdl.handle.net/10890/50784
OOC works
Abstract
Description
Keywords
Collections
Villamosmérnöki tudományok
Full item page