http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Advances in verification of time petri nets and timed automata
xxxii, 257 pages : illustrations ; 24 cm.
Electronic reproduction. New York : Springer, 2008. Mode of access: World Wide Web. System requirements: Web browser. Title from title screen (viewed on Oct. 10, 2008). Access may be restricted to users at subscribing institutions.
Includes bibliographical references and indexes.
Studies in computational intelligence. v. 20