BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Spain
Collaborated with:
G.Ciobanu
Talks about:
time (2) properti (1) membran (1) verifi (1) uppaal (1) system (1) migrat (1) rtimo (1) petri (1) delay (1)

Person: Bogdan Aman

DBLP DBLP: Aman:Bogdan

Contributed to:

SEFM 20132013
QAPL 20112011

Wrote 2 papers:

SEFM-2013-AmanC #migration #realtime
Real-Time Migration Properties of rTiMo Verified in Uppaal (BA, GC), pp. 31–45.
QAPL-2011-AmanC #petri net
Time Delays in Membrane Systems and Petri Nets (BA, GC), pp. 47–60.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.