%0 Conference Paper %1 conf/eidwt/GaneaPDC12 %A Ganea, Octavian %A Pop, Florin %A Dobre, Ciprian %A Cristea, Valentin %B EIDWT %D 2012 %I IEEE Computer Society %K dblp %P 320-325 %T Specification and Validation of a Real-Time Simple Parallel Kernel for Dependable Distributed Systems. %U http://dblp.uni-trier.de/db/conf/eidwt/eidwt2012.html#GaneaPDC12 %@ 978-1-4673-1986-7

@inproceedings{conf/eidwt/GaneaPDC12, added-at = {2023-03-24T00:00:00.000+0100}, author = {Ganea, Octavian and Pop, Florin and Dobre, Ciprian and Cristea, Valentin}, biburl = {https://www.bibsonomy.org/bibtex/24e96d75d9d09cc65ab90042aa4bc56db/dblp}, booktitle = {EIDWT}, crossref = {conf/eidwt/2012}, ee = {https://doi.ieeecomputersociety.org/10.1109/EIDWT.2012.48}, interhash = {30a498ab4eb283859fca9844dda0dc75}, intrahash = {4e96d75d9d09cc65ab90042aa4bc56db}, isbn = {978-1-4673-1986-7}, keywords = {dblp}, pages = {320-325}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T09:00:43.000+0200}, title = {Specification and Validation of a Real-Time Simple Parallel Kernel for Dependable Distributed Systems.}, url = {http://dblp.uni-trier.de/db/conf/eidwt/eidwt2012.html#GaneaPDC12}, year = 2012 }