http://budapest.rkbexplorer.com/id/person-4a316f7cca207a338340f4912e040b6e
full-name: D VarrÃ³
type: Person

http://budapest.rkbexplorer.com/id/person-0286396740a42cf477b0edafb0f45c38
full-name: H Manhaeve
type: Person

http://lodlaundromat.org/.well-known/genid/5590884cafd951807b5d0a8134f6553d#3
has-date: http://www.aktors.org/ontology/date#2000
has-title: 11th European Workshop on Dependable Computing (EWDC-11), Budapest, May 11-13, 2000
type: Conference-Proceedings-Reference

http://budapest.rkbexplorer.com/id/inproceedings-f76e676d9048c21dec2ae616b84b74cf
has-date: http://www.aktors.org/ontology/date#2000
has-page-numbers: 83-92
has-title: Quantitative Analysis of Dependability Critical Systems Based on UML Statechart Models
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/5590884cafd951807b5d0a8134f6553d#1
type: Proceedings-Paper-Reference

http://budapest.rkbexplorer.com/id/person-598e86697b4967c610f1520a98496954
full-name: G Taentzer
type: Person

http://lodlaundromat.org/.well-known/genid/5590884cafd951807b5d0a8134f6553d#2
has-date: http://www.aktors.org/ontology/date#2000
has-title: UML'2000 Workshop on Dynamic Behaviour in UML Models: Semantic Questions (The Third International Conference on The Unified Modeling Language), October 2-3, York, UK
type: Conference-Proceedings-Reference

http://budapest.rkbexplorer.com/id/inproceedings-bf11268aa91e9618a9d6527fc71efd34
has-date: http://www.aktors.org/ontology/date#2000
has-title: Formal Validation of UML Statechart Diagrams Models
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/5590884cafd951807b5d0a8134f6553d#2
type: Proceedings-Paper-Reference

http://budapest.rkbexplorer.com/id/person-e60a1adffbf6f5d318028e9cf0592053
full-name: D Latella
type: Person

http://budapest.rkbexplorer.com/id/inproceedings-8c46f2cbd9a717a1ed18b844e788c14b
has-date: http://www.aktors.org/ontology/date#2000
has-page-numbers: 14--21
has-title: Designing the Automatic Transformation of Visual Languages
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/5590884cafd951807b5d0a8134f6553d#5
type: Proceedings-Paper-Reference

http://budapest.rkbexplorer.com/id/person-78079cbabd4a837c6d88cf51be9e1ce7
full-name: E Gramatova
type: Person

http://lodlaundromat.org/.well-known/genid/5590884cafd951807b5d0a8134f6553d#1
has-date: http://www.aktors.org/ontology/date#2000
has-title: Proc. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000), November 15-17, 2000, Albuquerque, New Mexico
type: Conference-Proceedings-Reference

http://budapest.rkbexplorer.com/id/person-9e9cad6047f96f7332ecd58c17c5c4dc
full-name: G VarrÃ³
type: Person

http://budapest.rkbexplorer.com/id/person-04a7e09ee9eb3759be0856cc0a0314c4
full-name: G Reggio
type: Person

http://budapest.rkbexplorer.com/id/inproceedings-da3c7415d58cb6e75983bdbc836291a2
has-date: http://www.aktors.org/ontology/date#2000
has-title: Dependability Modeling of FT-CORBA Architectures
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/5590884cafd951807b5d0a8134f6553d#4
type: Proceedings-Paper-Reference

http://budapest.rkbexplorer.com/id/inproceedings-6ec2fc7adb4554de36d8f87999d67e2f
has-date: http://www.aktors.org/ontology/date#2000
has-page-numbers: 137--141
has-title: Visual Graph Transformation in System Verification
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/5590884cafd951807b5d0a8134f6553d#6
type: Proceedings-Paper-Reference

http://lodlaundromat.org/.well-known/genid/5590884cafd951807b5d0a8134f6553d#6
has-date: http://www.aktors.org/ontology/date#2000
has-title: DDECS 2000 International IEEE Workshop on the Design and Diagnostics of Electronic Circuits and Systems
type: Conference-Proceedings-Reference

http://budapest.rkbexplorer.com/id/person-212c773b2cf7f9da9bd8354ebdb36719
full-name: M Massink
type: Person

http://budapest.rkbexplorer.com/id/person-0eae26b92535edf8537257d195f5e5d3
full-name: A Pataricza
type: Person

Publication export from Budapest University of Technology and Economics
creator: Hugh Glaser
creator: ReSIST Project
description: This ontology contains information detailing publications held by Budapest University of Technology and Economics
type: Ontology
imports: extension
imports: portal

http://lodlaundromat.org/.well-known/genid/5590884cafd951807b5d0a8134f6553d#5
has-date: http://www.aktors.org/ontology/date#2000
has-title: GRATRA 2000 Joint APPLIGRAPH and GETGRATS Workshop on Graph Transformation Systems
type: Conference-Proceedings-Reference

http://www.aktors.org/ontology/date#2000
has-pretty-name: 2000
year-of: 2000
type: Calendar-Date

www.aktors.org
locale: en_US
type: website
title: Turning Shoe Information to Knowledge of Technology and Deals
description: Take a look at Nike and Adidas Shoe technology, and use Finish Line coupons to save money on athletic shoes and performance apparel
site name: Aktors

http://budapest.rkbexplorer.com/id/person-02c5de633796f09b956689b15a8aec47
full-name: A Szegi
type: Person

http://lodlaundromat.org/.well-known/genid/5590884cafd951807b5d0a8134f6553d#4
has-date: http://www.aktors.org/ontology/date#2000
has-title: 11th European Workshop on Dependable Computing (EWDC-11), Budapest, May 11-13, 2000
type: Conference-Proceedings-Reference

http://budapest.rkbexplorer.com/id/person-03497ce1cc5ad224eba7ba14f7f47213
full-name: A Pawlak
type: Person

http://budapest.rkbexplorer.com/id/person-51d1596984020091f31fc8cd42086d31
full-name: G Huszerl
type: Person

http://budapest.rkbexplorer.com/id/person-74d3ffed0801bfc3057e085dec681266
full-name: Zs. Pap
type: Person

http://budapest.rkbexplorer.com/id/inproceedings-0999cce8fb5a13f234f0f9506bf9ba65
has-date: http://www.aktors.org/ontology/date#2000
has-title: Completeness and Consistency Analysis of UML Statechart Specifications
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/5590884cafd951807b5d0a8134f6553d#3
type: Proceedings-Paper-Reference

http://budapest.rkbexplorer.com/id/person-8ab6431dc3b18e9584fe3743ed3b89e8
full-name: I Majzik
type: Person

http://budapest.rkbexplorer.com/id/person-9fed410785588c426b7617448baa40d1
full-name: S Gnesi
type: Person

http://budapest.rkbexplorer.com/id/person-2b5948fec74e0e872ae435cf9eebe70c
full-name: H Ehrig
type: Person