×

Found 18 Documents (Results 1–18)

Verifying UCM specifications of distributed systems using colored Petri nets. (English. Russian original) Zbl 1317.93177

Cybern. Syst. Anal. 51, No. 2, 213-222 (2015); translation from Kibern. Sist. Anal. 2015, No. 2, 62-74 (2015).
MSC:  93C65
PDF BibTeX XML Cite
Full Text: DOI

Vector bundles on reducible curves and applications. (English) Zbl 1251.14024

Ellwood, David A. (ed.) et al., Grassmannians, moduli spaces and vector bundles. Clay Mathematics Institute workshop on moduli spaces of vector bundles, with a view towards coherent sheaves, Cambridge, MA, USA, October 6–11, 2006. Providence, RI: American Mathematical Society (AMS); Cambridge, MA: Clay Mathematics Institute (ISBN 978-0-8218-5205-7/pbk). Clay Mathematics Proceedings 14, 169-180 (2011).
MSC:  14H60 14C20
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

all top 3

Main Field

Software