person-13b99ea8
full-name: Holger Pfeifer
type: Person

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

inproceedings-Pfe00
has-author: person-13b99ea8
has-date: http://www.aktors.org/ontology/date#2000
has-page-numbers: 3--18
has-title: Formal Verification of the TTP Group Membership Algorithm
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/dcbab50b535bf0dc86e1a956a2306bb6#2
type: Proceedings-Paper-Reference

person-4ee29a1b
full-name: Tommaso Bolognesi
type: Person

http://lodlaundromat.org/.well-known/genid/dcbab50b535bf0dc86e1a956a2306bb6#2
edited-by: person-4ee29a1b
edited-by: person-7856fda3
has-date: http://www.aktors.org/ontology/date#2000
has-title: Formal Methods for Distributed System Development -- Proceedings of FORTE XIII / PSTV XX 2000
type: Conference-Proceedings-Reference

person-2721d6fb
full-name: Axel Dold
type: Person

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

thesis-
degree-of-thesis: PhD
has-author: person-2721d6fb
has-date: http://www.aktors.org/ontology/date#2000
has-title: Formal Software Development using Generic Development Steps
type: Thesis-Reference

Publication export from The School of Electronics and Computer Science, University of Southampton
creator: Ian Millard
creator: ReSIST Project
description: This ontology contains information detailing publications held by The School of Electronics and Computer Science, University of Southampton
created: 2006-09-01
type: Ontology
imports: extension
imports: portal

person-7856fda3
full-name: Diego Latella
type: Person

http://lodlaundromat.org/.well-known/genid/dcbab50b535bf0dc86e1a956a2306bb6#1
has-date: http://www.aktors.org/ontology/date#2000
has-title: Generic Programming - International Seminar on Generic Programming" publisher = "Springer-Verlag
type: Conference-Proceedings-Reference

inproceedings-Dold98
has-author: person-2721d6fb
has-date: http://www.aktors.org/ontology/date#2000
has-page-numbers: 146-161
has-title: Software Development in PVS using Generic Development Steps
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/dcbab50b535bf0dc86e1a956a2306bb6#1
type: Proceedings-Paper-Reference