Entry Serbanuta:2012:TCS from lncs2012j.bib
Last update: Sun Oct 15 02:37:41 MDT 2017
Top |
Math |
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
BibTeX entry
@Article{Serbanuta:2012:TCS,
author = "Traian Florin {\c{S}}erb{\u{a}}nu{\c{t}}{\u{a}} and
Grigore Ro{\c{s}}u",
title = "A Truly Concurrent Semantics for the $\mathbb{K}$
Framework Based on Graph Transformations",
journal = j-LECT-NOTES-COMP-SCI,
volume = "7562",
pages = "294--310",
year = "2012",
CODEN = "LNCSD9",
DOI = "https://doi.org/10.1007/978-3-642-33654-6_20",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Wed Dec 19 15:24:59 MST 2012",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lncs2012j.bib",
URL = "http://link.springer.com/chapter/10.1007/978-3-642-33654-6_20/",
acknowledgement = ack-nhfb,
book-DOI = "https://doi.org/10.1007/978-3-642-33654-6",
book-URL = "http://www.springerlink.com/content/978-3-642-33654-6",
fjournal = "Lecture Notes in Computer Science",
}
Related entries
- Based,
7554(0)57,
7555(0)53,
7555(0)171,
7556(0)22,
7558(0)120,
7559(0)29,
7560(0)235,
7564(0)158,
7569(0)239,
7570(0)100,
7572(0)102,
7574(0)71,
7574(0)272,
7578(0)84,
7583(0)42,
7583(0)153,
7592(0)32,
7592(0)169,
7594(0)71,
7594(0)105,
7594(0)156,
7595(0)220,
7597(0)14,
7597(0)28,
7597(0)152,
7597(0)205,
7599(0)59
- framework,
7555(0)53,
7558(0)190,
7562(0)1,
7563(0)79,
7569(0)224,
7570(0)25,
7570(0)50,
7578(0)264,
7584(0)12,
7584(0)72,
7584(0)124,
7590(0)87,
7592(0)64,
7594(0)55
- graph,
7551(0)2,
7551(0)7,
7551(0)22,
7551(0)34,
7551(0)46,
7551(0)57,
7551(0)91,
7551(0)103,
7551(0)114,
7551(0)148,
7551(0)160,
7557(0)103,
7559(0)17,
7560(0)82,
7562(0)66,
7562(0)81,
7562(0)96,
7562(0)111,
7562(0)126,
7562(0)141,
7562(0)156,
7562(0)234,
7562(0)264,
7569(0)110,
7572(0)272,
7574(0)144,
7579(0)79,
7579(0)119,
7579(0)166,
7579(0)200,
7594(0)113,
7596(0)31,
7599(0)134
- Semantic,
7557(0)14,
7557(0)59,
7563(0)9,
7585(0)121
- transformation,
7550(0)121,
7560(0)82,
7562(0)81,
7562(0)96,
7562(0)156,
7562(0)187,
7562(0)203,
7562(0)218,
7562(0)234,
7562(0)249