State space reduction using partial order techniques
Saved in:
| Published in: | International journal on software tools for technology transfer Vol. 2; no. 3; pp. 279 - 287 |
|---|---|
| Main Authors: | , , , |
| Format: | Journal Article |
| Language: | English Japanese |
| Published: |
01.11.1999
|
| ISSN: | 1433-2779, 1433-2787 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Author | Clarke, E.M. Minea, M. Peled, D. Grumberg, O. |
|---|---|
| Author_xml | – sequence: 1 givenname: E.M. surname: Clarke fullname: Clarke, E.M. – sequence: 2 givenname: O. surname: Grumberg fullname: Grumberg, O. – sequence: 3 givenname: M. surname: Minea fullname: Minea, M. – sequence: 4 givenname: D. surname: Peled fullname: Peled, D. |
| BookMark | eNp1T01LxDAUDLKCu6tH7_0D1ZekSdqjLH7Bggf1XN5LE43UtibpwX9vRREUvMzMYWaY2bDVMA6OsVMOZxzAnKcFoQFQAFIdsDWvpCyFqc3qR5vmiG1SegHgRptmzar7jNkVaULriui62eYwDsWcwvBUTBhzwL4YY-dikZ19HsLb7NIxO_TYJ3fyzVv2eHX5sLsp93fXt7uLfWkFr3NJpLW3oEVHikhKT1IjWs09kUKBztTQNSQarCRpT5y0AlSdRy5QVl5umfzqtXFMKTrf2rDMXQbmiKFvObSfx9tfx5dU-Sc1xfCK8f0f_wesNlwj |
| CitedBy_id | crossref_primary_10_1016_j_engappai_2017_06_014 crossref_primary_10_1145_3360550 crossref_primary_10_1109_JPROC_2016_2519247 crossref_primary_10_1007_s00165_015_0351_1 crossref_primary_10_1145_3158119 crossref_primary_10_3390_math9040368 crossref_primary_10_1109_ACCESS_2022_3230844 crossref_primary_10_1109_ACCESS_2021_3081742 crossref_primary_10_1145_3485541 crossref_primary_10_1016_j_ins_2011_07_034 crossref_primary_10_1016_j_tcs_2011_12_036 crossref_primary_10_3390_info14070384 crossref_primary_10_1016_j_jpdc_2012_02_015 crossref_primary_10_1007_s10009_016_0418_1 crossref_primary_10_1016_j_jss_2023_111730 crossref_primary_10_1002_stvr_1505 crossref_primary_10_1007_s00236_016_0275_0 crossref_primary_10_1016_j_scico_2017_08_004 crossref_primary_10_1145_2578855_2535845 crossref_primary_10_1109_JPROC_2004_831197 crossref_primary_10_1145_3352020_3352030 crossref_primary_10_1145_3360576 crossref_primary_10_1002_stvr_385 crossref_primary_10_1007_s10703_006_0006_1 crossref_primary_10_1007_s10845_013_0744_z crossref_primary_10_1109_TCAD_2014_2301671 crossref_primary_10_1587_transinf_2016FOP0012 crossref_primary_10_3390_computers14030110 crossref_primary_10_1002_stvr_449 crossref_primary_10_1016_j_entcs_2007_06_008 crossref_primary_10_1093_comjnl_bxaa183 crossref_primary_10_1109_12_980017 crossref_primary_10_1145_3591243 crossref_primary_10_1109_TCSS_2022_3164052 crossref_primary_10_1007_s00165_002_225_1 crossref_primary_10_1016_j_jss_2016_04_070 crossref_primary_10_1145_2890494 crossref_primary_10_1007_s10009_020_00575_y crossref_primary_10_1016_j_entcs_2006_01_024 crossref_primary_10_1007_s10009_013_0270_5 crossref_primary_10_1016_j_nancom_2015_05_002 crossref_primary_10_1016_j_jlamp_2019_02_006 crossref_primary_10_1145_3073408 crossref_primary_10_1145_3604610 crossref_primary_10_1145_3276505 |
| ContentType | Journal Article |
| DBID | AAYXX CITATION |
| DOI | 10.1007/s100090050035 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1433-2787 |
| EndPage | 287 |
| ExternalDocumentID | 10_1007_s100090050035 |
| GroupedDBID | -Y2 -~C .86 .VR 06D 0R~ 0VY 1N0 1SB 203 29J 2J2 2JN 2JY 2KG 2KM 2LR 2P1 2VQ 2~H 30V 406 408 409 40D 40E 5GY 67Z 6NX 8TC 95- 95. 95~ 96X AAAVM AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AAPKM AARHV AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYQN AAYTO AAYXX ABAKF ABBBX ABBRH ABBXA ABDBE ABDZT ABECU ABFSG ABFTD ABFTV ABHLI ABJNI ABJOX ABKCH ABKTR ABMNI ABMQK ABNWP ABQBU ABQSL ABRTQ ABSXP ABTEG ABTHY ABTKH ABTMW ABULA ABXPI ACAOD ACBXY ACDTI ACGFS ACHSB ACHXU ACIWK ACKNC ACMDZ ACMLO ACOKC ACOMO ACPIV ACSNA ACSTC ACZOJ ADHHG ADHIR ADHKG ADKPE ADRFC ADTPH ADURQ ADYFF ADZKW AEBTG AEFQL AEGAL AEGNC AEJHL AEJRE AEMSY AEOHA AEPYU AETLH AEVLU AEXYK AEZWR AFBBN AFDZB AFGCZ AFHIU AFLOW AFWTZ AFZKB AGAYW AGDGC AGGDS AGJBK AGMZJ AGQEE AGQMX AGQPQ AGRTI AGWIL AGWZB AGYKE AHBYD AHKAY AHPBZ AHWEU AHYZX AIAKS AIGIU AILAN AITGF AIXLP AJBLW AJRNO AJZVZ ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMXSW AMYLF AMYQR AOCGG ARMRJ ASPBG ATHPR AVWKF AXYYD AYFIA AYJHY AZFZN B-. BA0 BDATZ BGNMA BSONS CITATION CS3 CSCUP DDRTE DL5 DNIVK DPUIP DU5 EBLON EBS EIOEI EJD ESBYG FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNWQR GQ7 GQ8 GXS HF~ HG5 HG6 HMJXF HQYDN HRMNR HVGLF HZ~ I09 IHE IJ- IKXTQ ITM IWAJR IXC IZIGR IZQ I~X I~Z J-C J0Z JBSCW JCJTX JZLTJ KDC KOV LAS LLZTM M4Y MA- N2Q NB0 NPVJJ NQJWS NU0 O9- O93 O9J OAM P9O PF0 PT4 PT5 QOS R89 R9I RNI ROL RPX RSV RZK S16 S27 S3B SAP SCO SDH SHX SISQX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 TSG TSK TSV TUC TUS U2A UG4 UOJIU UTJUX UZXMN VC2 VFIZW W23 W48 WK8 YLTOR Z45 ZMTXR |
| ID | FETCH-LOGICAL-c218t-bb66fc062db5bb33fb36aac61fbb5a2ae780d9b29a43b6fb1b650a5dfa12a34f3 |
| IEDL.DBID | RSV |
| ISSN | 1433-2779 |
| IngestDate | Tue Nov 18 22:39:57 EST 2025 Sat Nov 29 03:07:46 EST 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 3 |
| Language | English Japanese |
| License | http://www.springer.com/tdm |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c218t-bb66fc062db5bb33fb36aac61fbb5a2ae780d9b29a43b6fb1b650a5dfa12a34f3 |
| PageCount | 9 |
| ParticipantIDs | crossref_citationtrail_10_1007_s100090050035 crossref_primary_10_1007_s100090050035 |
| PublicationCentury | 1900 |
| PublicationDate | 1999-11-01 |
| PublicationDateYYYYMMDD | 1999-11-01 |
| PublicationDate_xml | – month: 11 year: 1999 text: 1999-11-01 day: 01 |
| PublicationDecade | 1990 |
| PublicationTitle | International journal on software tools for technology transfer |
| PublicationYear | 1999 |
| SSID | ssj0017679 |
| Score | 1.9048678 |
| SourceID | crossref |
| SourceType | Enrichment Source Index Database |
| StartPage | 279 |
| Title | State space reduction using partial order techniques |
| Volume | 2 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVAVX databaseName: Springer Nature Link Journals customDbUrl: eissn: 1433-2787 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0017679 issn: 1433-2779 databaseCode: RSV dateStart: 19971201 isFulltext: true titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 providerName: Springer Nature |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjZ3LSwMxEMYHKR68WJ9YX-QgngzsbrLZ7lHE4kGKoJbeykweIkgt29W_3yTdbgv10PskgUl2vw-S-Q3AjcMAsTOGlw6JSymRl4kk7sikwvYtJZF4M3ouhsP-eFy-rCBJmzf4ocjN-4DAKUlEKCZP1aJO63XU3hYUKjL1vPQLnvm1G5bmxug17VkTkUF36-UPYL_xiex-sbGHsGOnR9Bd9mBgzSd5DDK6Reb_C9qyKnBYQ6ZZeM7-wWbhXPhZIl-TtbjW-Qm8Dx7fHp540wmBay_BNSdSyulEZYZyIiEcCYWoVeqIcszQFv3ElJSVKAUpRyl544W5cZhmKKQTp9CZfk_tGTCXaqeFzq1xXrydIe9nZIF5gUaUlBQ9uFvmaKIbTHjoVvE1WQGO1zLSg9s2fLbgY_wfeL5t4AXsRTRCrPe7hE5d_dgr2NW_9ee8uo4b_wcaW6X9 |
| linkProvider | Springer Nature |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=State+space+reduction+using+partial+order+techniques&rft.jtitle=International+journal+on+software+tools+for+technology+transfer&rft.au=Clarke%2C+E.M.&rft.au=Grumberg%2C+O.&rft.au=Minea%2C+M.&rft.au=Peled%2C+D.&rft.date=1999-11-01&rft.issn=1433-2779&rft.eissn=1433-2787&rft.volume=2&rft.issue=3&rft.spage=279&rft.epage=287&rft_id=info:doi/10.1007%2Fs100090050035&rft.externalDBID=n%2Fa&rft.externalDocID=10_1007_s100090050035 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1433-2779&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1433-2779&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1433-2779&client=summon |