Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/tase/XuZ07
%A Xu, Fei
%A Zhang, Li
%B TASE
%D 2007
%I IEEE Computer Society
%K dblp
%P 75-86
%T Unified Modeling and Analysis based on Petri nets and Pi calculus.
%U http://dblp.uni-trier.de/db/conf/tase/tase2007.html#XuZ07
%@ 0-7695-2856-2
@inproceedings{conf/tase/XuZ07,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Xu, Fei and Zhang, Li},
biburl = {https://www.bibsonomy.org/bibtex/2d1cd557c322239aad91f696fe9e1d458/dblp},
booktitle = {TASE},
crossref = {conf/tase/2007},
ee = {https://doi.ieeecomputersociety.org/10.1109/TASE.2007.54},
interhash = {272cf2cdcc2e8308a875d07c2d9304c6},
intrahash = {d1cd557c322239aad91f696fe9e1d458},
isbn = {0-7695-2856-2},
keywords = {dblp},
pages = {75-86},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T10:22:55.000+0200},
title = {Unified Modeling and Analysis based on Petri nets and Pi calculus.},
url = {http://dblp.uni-trier.de/db/conf/tase/tase2007.html#XuZ07},
year = 2007
}