@article(ADMN:NJC:07,
)
@inproceedings(AN:BQQ,
 doi          = "10.1007/3-540-45740-2\_5",
)
@article(DBLP:journals/tcs/AlurD94,
 doi          = "10.1016/0304-3975(94)90010-8",
)
@article(DBLP:journals/sttt/BehrmannBLP06,
 doi          = "10.1007/s10009-005-0190-0",
)
@inproceedings(DBLP:conf/ac/BengtssonY03,
 doi          = "10.1007/978-3-540-27755-2\_3",
)
@inproceedings(tina,
 doi          = "10.1109/QEST.2006.56",
)
@inproceedings(DBLP:conf/pstv/BolognesiLT90,
)
@article(TSPN-PMS:2012,
 doi          = "10.1016/j.amc.2012.02.018",
)
@inproceedings(DJJJMS:TACAS:12,
 doi          = "10.1007/978-3-642-28756-5\_36",
)
@inproceedings(DBLP:conf/avmfss/Dill89,
 doi          = "10.1007/3-540-52148-8\_17",
)
@article(DBLP:journals/tcs/FinkelS01,
 doi          = "10.1016/S0304-3975(00)00102-X",
)
@inproceedings(romeo,
 doi          = "10.1007/11513988\_41",
)
@inproceedings(HKSW:FSTTCS:11,
 doi          = "10.4230/LIPIcs.FSTTCS.2011.78",
)
@inproceedings(memics_paper,
 doi          = "10.4230/DROPS.MEMICS.2009.2346",
)
@inproceedings(JJMS:EPEW:10,
 doi          = "10.1007/978-3-642-15784-4\_6",
)
@inproceedings(JJMS:SOFSEM:11,
 doi          = "10.1007/978-3-642-18381-2\_4",
)
@article(WSBA:verification,
 doi          = "10.1007/s10009-012-0231-4",
)
@phdthesis(PMMerlin1974,
)
@misc(wsba,
)
@phdthesis(pettersson_phd,
)
@inproceedings(TAPN_reachability,
)
@inproceedings(S:ICATPN:05,
 doi          = "10.1007/11494744\_22",
)
@inproceedings(S:FORMATS:08,
 doi          = "10.1007/978-3-540-85778-5\_3",
)