Publications

List
Filter

Export 3 results:

BibTex

Sort by: [ Author

] Title Type Year

Filters: First Letter Of Title is N [Clear All Filters]

A B C D E F G H I J K L M [N] O P Q R S T U V W X Y Z [Show ALL]

H

Hajdu, Á., Vörös, A., and Bartha, T., "New Search Strategies for the Petri Net CEGAR Approach", Application and Theory of Petri Nets and Concurrency, vol. 9115: Springer, pp. 309-328, 2015. Abstract

BibTex

G

Gilmore, S., Gönczy, L., Koch, N., Mayer, P., Tribastone, M., and Varró, D., "Non-Functional Properties in the Model-Driven Development of Service-Oriented Systems", Software and Systems Modeling, 2010. Abstract

Appeared online

BibTex

B

Barabás, Á., Szárnyas, G., and Gajdos, S., "NoSQL adatbázis-kezelők", Adatbázisok, 4. kiadás, 2012.

BibTex