资源描述：
《FORMATS 2010.pdf》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、LectureNotesinComputerScience6246CommencedPublicationin1973FoundingandFormerSeriesEditors:GerhardGoos,JurisHartmanis,andJanvanLeeuwenEditorialBoardDavidHutchisonLancasterUniversity,UKTakeoKanadeCarnegieMellonUniversity,Pittsburgh,PA,USAJosefKittlerUniversityofSurrey,Guildford,UKJonM.Kle
2、inbergCornellUniversity,Ithaca,NY,USAAlfredKobsaUniversityofCalifornia,Irvine,CA,USAFriedemannMatternETHZurich,SwitzerlandJohnC.MitchellStanfordUniversity,CA,USAMoniNaorWeizmannInstituteofScience,Rehovot,IsraelOscarNierstraszUniversityofBern,SwitzerlandC.PanduRanganIndianInstituteofTech
3、nology,Madras,IndiaBernhardSteffenTUDortmundUniversity,GermanyMadhuSudanMicrosoftResearch,Cambridge,MA,USADemetriTerzopoulosUniversityofCalifornia,LosAngeles,CA,USADougTygarUniversityofCalifornia,Berkeley,CA,USAGerhardWeikumMaxPlanckInstituteforInformatics,Saarbruecken,GermanyKrishnendu
4、ChatterjeeThomasA.Henzinger(Eds.)FormalModelingandAnalysisofTimedSystems8thInternationalConference,FORMATS2010Klosterneuburg,Austria,September8-10,2010Proceedings13VolumeEditorsKrishnenduChatterjeeThomasA.HenzingerInstituteofScienceandTechnologyISTAustriaAmCampus1,3400Klosterneuburg,Aus
5、triaE-mail:{krishnendu.chatterjee;tah}@ist.ac.atLibraryofCongressControlNumber:2010932429CRSubjectClassification(1998):F.3,D.2,D.3,D.2.4,F.4.1,C.3LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssuesISSN0302-9743ISBN-103-642-15296-1SpringerBerlinHeidelbergNewYorkISBN-13978-3-642-
6、15296-2SpringerBerlinHeidelbergNewYorkThisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialisconcerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.D
7、uplicationofthispublicationorpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.ViolationsareliabletoprosecutionundertheGermanCopyrightLaw.springer.com©Springer-VerlagBerl
